Axiomatic-AI

Popular repositories Loading

1. ax-prover-base ax-prover-basePublic

   A Minimal Agent for Automated Theorem Proving

   Python 46 10

2. ax-mcp ax-mcpPublic

   Axiomatic_AI MCP Server

   Python 22 9

3. axiomatic-python-sdk axiomatic-python-sdkPublic

   A Python SDK for accessing the Axiomatic API

   Python 3

4. lean-qkd lean-qkdPublic

   Lean blueprint a result in quantum key distribution

   Lean 2

5. lean-branch-number lean-branch-numberPublic

   Contains lean blueprint for a result on branch numbers.

   Lean 1

6. iklayout iklayoutPublic

   Python