yogthos/chiasmus

Chiasmus — an MCP server that gives language models access to formal verification tools. It converts queries into formal specifications and generates proofs using Coq, Isabelle, Lean via MCP & supports counterexample detections.

// KEY FEATURES

• Converts natural language into formal specs for verification plus examples.
• Integrates with Coq, Isabelle, Lean theorem provers via MCP for automated proof checking.
• Provides API for automatic generation of proofs and counterexamples for TypeScript and LLM agents.
• Supports TypeScript clients and works with any LLM agents via MCP.

New repositories every 30 minutes

REDDYX AI scans GitHub 24/7 and ships the best AI/ML/Web3 projects to Telegram.