Invariant Holdings LLC
Organization@invariantholdings
1
Published Tools
1
Total Stars
0
Weekly Downloads
1
GitHub Followers
1
Public Repos
Published Tools
1 MCP Serveracross 1 categoryInvariantHoldings
MCP server for interactive Agda proof development (type-checking, goals, refinement, proof search) with pluggable extension modules.
...moreMCP Serveruncategorised
11 dir