Instructions file CodexOpenCode
AGENTS.md instructions for nvlang/verso-mcp, covering agents.md, what this project is, repository layout, development and security invariants — do not regress.
1 27d ago A 2,795 tokens
original Apache-2.0
verso
02MCP server Claude CodeCodexCursor
MCP server for Verso-generated documentation sites (the Lean Language Reference, Functional Programming in Lean, and other Verso Manual-genre sites). Runs locally from the verso-mcp Python package. Needs 1 environment variable to run.
1 27d ago A
tokens not measured
original Apache-2.0