Last released Sep 15, 2026
An MCP server that gives an AI agent a shell and the files on your machine.
Last released Aug 31, 2026
Prove your documentation against your code. Deterministically, with receipts.