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 28d ago A 2,795 tokens
original Apache-2.0
MCP server to read Verso-generated documentation sites (e.g., the Lean Language Reference)
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.