Jimmyfa

Navi

Write it yourself. Never alone.

Navi is a coding mentor that lives in VS Code. It breaks a change into small steps, highlights the lines each step touches, explains code you select, and reviews what you wrote, ticking the step off when it passes.

Its main agent has no tool that writes files. The code stays yours; Navi only teaches.

Works with

A GitHub Copilot subscription, or your own API key (OpenAI-compatible or Anthropic)

Built with

TypeScript, the VS Code extension API, the GitHub Copilot SDK

Status

Version 0.2.0, finished

Codebase Insights

So agents stop rediscovering your repo every session.

A local MCP server that keeps a persistent model of your repository. It combines language-server navigation, a SQLite index of symbols and references, summaries written by an LLM, and vector search, and it updates incrementally as files change.

Languages

Python, TypeScript and JavaScript, C++, Rust

Models

Ollama or any OpenAI-compatible endpoint

Status

Version 1.4.0, finished as an MVP

Fluent 2 skills

Microsoft's design system, taught to Claude.

Six Claude Skills covering Fluent 2 UI, themes, UI copy, design review, AI experiences, and prompts and evals. Each comes with scripts: a contrast checker, a token lookup, a copy linter, a Responsible AI scorer.

Every token value was checked against the source of the npm packages, and the places where the documentation site and the code disagree are written down.

Status

Version 1.0.1, first release

Note

Unofficial. Not affiliated with Microsoft.

SpotFish

It isn't trying to play well. It's trying to play like you.

SpotFish has a spotlight of attention that sees only part of the board, and a mood that changes how long it thinks. Ahead, it relaxes. Behind, it thinks harder. Lose a piece while concentrating, and it gives up for three moves.

Someone once analyzed one of its games and concluded neither side could be a bot. Both sides were SpotFish.

Its ancestor, ChaosFish, charges into the most chaotic part of the board and treats the king as just another piece to eat. Both are written from scratch in JavaScript, wrapped as UCI engines, and their inner monologue goes straight into the game chat.

ccview

Headless Claude Code, with the face put back on.

A single C++ file that renders the output of claude -p --output-format stream-json the way Claude Code itself would: streaming text, thinking, parallel tool calls, nested subagents, diffs for edits, and Markdown tables.

No dependencies, its own JSON parser, and about 1.2 seconds for a 35 MB stream. Its companion, ccstream, is a PowerShell function that runs Claude headless and pipes into it.

* Glob(*.jsonl)
  `-  sample.jsonl
      sample2.jsonl
      synthetic.jsonl
      live.jsonl

* Glob found four `.jsonl` files in the working directory.

  ## Streams of Braces

  Each line a record, each record its own,
  Brackets open, close, and the stream flows on.

------------------------------------------------------------
OK done · 2 turns · 6.7s · API 4.8s · $0.0033

Tessera

Threads, contexts and templates, fitted together like a mosaic.

A scripting language for concurrency in which scopes and threads are objects. Any block can take a template that gives it lifecycle hooks. A thread is an object with state, fields it exposes to others, async handlers that other threads call like an RPC, and a protocol for shutting down.

Underneath the spec sits a short constitution: seven axioms about who owns state, how effects cross boundaries, and what "before" means. Every rule in the spec has to point to the axiom it follows from.

Now

Formalizing the seven axioms in Lean 4

Next

Proving the language semantics against them, then building the runtime

// Any block can wear a template: enter and exit hooks
// run however the block is left.
@template Traced(label: String, logQueue: Queue<String>) {
    function __on_enter__(): void {
        self.logQueue.tryPush(">> [" + self.label + "] 开始");
    }
    function __on_exit__(): void {
        self.logQueue.tryPush("<< [" + self.label + "] 结束");
    }
}

// A thread is an object. Others can read logCount directly.
$template Logger(q: Queue<String>) {
    expose logCount: int;

    async function run(): void {
        while (true) { /* ... */ }
    }
}

Palette Go

For iPhone shooters who gave up on Resolve.

A desktop color grading tool for Apple Log footage from iPhone Pro, and nothing else: no media library, no editing. You build a chain of nodes from input through correction, look, LUT and grain to output, inside an ACES color pipeline, with scopes to check your work.

Every color operation has a CPU reference implementation, and the GPU shader is tested against it pixel by pixel.

Exports

ProRes 422 HQ, HEVC 10-bit, HLG HDR, and LUTs

Built with

Rust, wgpu, FFmpeg, a hand-written UI

Status

Six of eight milestones done

Site-CN-58

An SCP Foundation site, hidden in a mountain that stores electricity.

The site sits inside a working pumped-storage power station in southern Anhui, China. This phase is the site itself, with no anomalies yet: zones, clearance levels, lockdown rules and evacuation routes, each visible in the space.

Every model is generated by Python scripts running in Blender. The whole site is blocked out, and detailed modeling is moving room by room, following one staff member's ordinary day.

Status

Blockout done, detailing in progress

License

SCP Foundation material is CC BY-SA 3.0

RTX Remix for Minecraft

Contributions to NVIDIA's path-tracing mod.

NVIDIA's RTX Remix mod path-traces Minecraft Java 1.21.1. I fixed how lighting profiles upgrade between versions, and made end portals render: the game's layered screen-space effect is baked into a texture the path tracer can use.

AgentChat-MCP

Two agents, one chat room.

An MCP server that lets two separate agents, such as two Claude Code sessions, send each other messages and wait for replies, while a terminal UI shows the conversation live. It runs over HTTP rather than stdio, because stdio would give each agent its own server and nothing to share.