Invariant Holdings LLC
- 1 follower
- United States of America
- http://invariantholdings.io
- info@invariantholdings.io
Popular repositories Loading
-
agda-mcp-server
agda-mcp-server PublicMCP server for interactive Agda proof development (type-checking, goals, refinement, proof search) with pluggable extension modules.
TypeScript 1
Repositories
Showing 1 of 1 repositories
- agda-mcp-server Public
MCP server for interactive Agda proof development (type-checking, goals, refinement, proof search) with pluggable extension modules.
InvariantHoldings/agda-mcp-server’s past year of commit activity
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…