Axiomatic-AI

Popular repositories Loading

1. ax-prover-base ax-prover-base Public

   A Minimal Agent for Automated Theorem Proving

   Python 50 11

2. ax-mcp ax-mcp Public

   Axiomatic_AI MCP Server

   Python 23 10

3. AxQM AxQM Public

   AxQM — a proof-synthesis benchmark for quantum computing and quantum information, from Nielsen & Chuang, in Lean 4

   11 1

4. axiomatic-python-sdk axiomatic-python-sdk Public

   A Python SDK for accessing the Axiomatic API

   Python 3

5. lean-qkd lean-qkd Public

   Lean blueprint a result in quantum key distribution

   Lean 2

6. lean-branch-number lean-branch-number Public

   Contains lean blueprint for a result on branch numbers.

   Lean 1