Axiomatic_AI MCP Server
☆24Oct 26, 2026Updated this week
Alternatives and similar repositories for ax-mcp
Users that are interested in ax-mcp are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- End-to-end formally verified solvers for the inviscid Burgers', isotropic viscous Burgers', and full (anisotropic) viscous Burgers' equat…☆16Sep 9, 2026Updated last month
- Sample PDK for Superconducting RF Quantum Circuits☆36Updated this week
- Setup for autograding of Lean homework using GitHub Classroom☆11Feb 11, 2022Updated 4 years ago
- ☆16Apr 28, 2025Updated last year
- A Lean (4) type checker written in RPython☆11Oct 19, 2026Updated last week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Leaff is a diff tool for Lean environments☆26Jan 18, 2025Updated last year
- ☆10Sep 18, 2025Updated last year
- A repository that contains a collection of instrument drivers that can be used with SweepMe! or pysweepme.☆24Updated this week
- ☆11May 28, 2025Updated last year
- Tool to analyse the import structure of lean projects.☆28Updated this week
- repository for the collaborative formalization seminar in Analysis in Bonn☆11May 1, 2026Updated 5 months ago
- ☆12Mar 31, 2024Updated 2 years ago
- Render and run context-rich Lean 4 prompts in VS Code.☆11Aug 14, 2025Updated last year
- Lennard Jones in Lean☆24Jul 14, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- End-to-end formally verified solvers for the general relativistic Maxwell and perfectly hyperbolic general relativistic Maxwell equations…☆24Jul 27, 2026Updated 3 months ago
- WIP collections library for Lean 4☆32May 8, 2025Updated last year
- OpenClaw-style theorem proving☆29Aug 21, 2026Updated 2 months ago
- Lean 4 library of tools for parsing and compiling syntax and parser definitions.☆16Dec 10, 2023Updated 2 years ago
- Replay the `Environment` for a given Lean module, ensuring that all declarations are accepted by the kernel.☆36Mar 25, 2026Updated 7 months ago
- 15k open math problems, linked to their sources.☆28Updated this week
- Duality theory in linear optimization and its extensions☆12Feb 26, 2026Updated 8 months ago
- Documenting common pitfalls and footguns in Lean☆37Aug 26, 2025Updated last year
- Notebooks for Active learning in microscopy.☆11May 6, 2026Updated 5 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Improved exponent bounds for the exact discrete Fourier transform, building on OpenAI Math Problem #130.☆18Oct 13, 2026Updated 2 weeks ago
- A playable 3D voxel game built in Lean 4.☆23Jul 12, 2026Updated 3 months ago
- ASCI Summer Research Lean☆11Oct 17, 2026Updated last week
- The interface between probabilistic model checking and data-driven policy learning.☆21Sep 6, 2026Updated last month
- ☆16May 28, 2026Updated 5 months ago
- Formalization of Iwasawa Theory in LꓱꓯN (tentative)☆12Jul 30, 2026Updated 3 months ago
- plateform to openfoam management with python☆15Sep 12, 2026Updated last month
- ☆15Jun 18, 2024Updated 2 years ago
- ☆18Jul 25, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- a Carpentries-style lesson introducing the basics of data visualization☆11Updated this week
- Try a tactic at each step in a Lean proof.☆40Oct 13, 2026Updated 2 weeks ago
- Package for the propagation of representations of low-rank matrices through finite compositions of common operations.☆22Mar 29, 2024Updated 2 years ago
- .gds to .gltf file conversion script and workflow to create photo-real animations of your photonic/electronic integrated circuits.☆12Jul 29, 2024Updated 2 years ago
- Code for the ICLR 2024 paper "How Realistic Is Your Synthetic Data? Constraining Deep Generative Models for Tabular Data"☆23Oct 22, 2026Updated last week
- Curated list of known efforts in collecting and/or curating of chemical/materials data☆24Dec 8, 2020Updated 5 years ago
- software for design of three-dimensional DNA origami shapes☆14Jun 24, 2026Updated 4 months ago