Repositories list

• ax-prover-base-mcp

  Public
  An MCP for Lean4 code building and automated proving. Sign up on our website

  0•0•0•0•Updated Mar 1, 2026Mar 1, 2026

• ax-prover-base

  Public
  A Minimal Agent for Automated Theorem Proving

  automated-theorem-provinglean4langgraph

  Python

  •

  GNU Affero General Public License v3.0

  •0•3•0•0•Updated Feb 28, 2026Feb 28, 2026

• ax-mcp

  Public
  Axiomatic_AI MCP Server

  Python

  •

  MIT License

  •7•18•10•1•Updated Feb 20, 2026Feb 20, 2026

• lean-branch-number

  Public
  Contains lean blueprint for a result on branch numbers.

  Lean

  •

  MIT License

  •0•1•0•0•Updated Dec 2, 2025Dec 2, 2025

• lean-qkd

  Public
  Lean blueprint a result in quantum key distribution

  Lean

  •

  MIT License

  •0•2•0•0•Updated Nov 17, 2025Nov 17, 2025

• iklayout

  Public
  Python

  •0•0•0•0•Updated Sep 29, 2025Sep 29, 2025

• axiomatic-python-sdk

  Public
  A Python SDK for accessing the Axiomatic API

  python-sdkgenerated-from-openapibuilt-with-fern

  Python

  •0•2•0•0•Updated May 9, 2025May 9, 2025

• optiland

  Public
  Comprehensive optical design, optimization, and analysis in Python.

  Python

  •

  MIT License

  •113•0•0•0•Updated Apr 4, 2025Apr 4, 2025