v0.1.0 · MIT License
Enables MCP-capable agents to settle deadlocks with a neutral, unsteerable tie-break and to obtain sealed independent AI review of their output, returning Ed25519-signed receipts that can be verified offline. Also supports running free demo matches and listing saved receipts with spend tracking.
v0.2.0 · GPL 3.0
Enables an AI agent to set up, run and verify engineering simulations through typed tools — creating or importing cases, setting boundary conditions, running solvers, checking convergence, verifying results against references, and rendering output, with edits appearing live in the GUI. It exposes no shell or code-execution tool.
v0.4.0 · MIT License
Enables AI agents to see compiled LaTeX output: it builds the document, returns rendered page images, maps any point on a page back to its exact source line, and diffs what the last edit changed. It also audits an entire book for regressions, letting an agent diagnose and verify layout fixes without reading source alone.
v0.1.0 · Apache 2.0
Gives AI coding agents on-demand security playbooks, a code scanner they can run on their own output, and live lookups against CISA KEV, NVD and OSV so they verify threats instead of guessing. Runs locally with no API keys or accounts, exposing skills, tools and a secure-build prompt to Claude Code, Codex, Cursor or any MCP client.