Axiomatic_AI MCP Server
☆22Aug 27, 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:
- Sample PDK for Superconducting RF Quantum Circuits☆33Updated this week
- ☆16Apr 28, 2025Updated last year
- Repository for the Control of Stochastic Quantum Dynamics with Differentiable Programming paper.☆16Feb 16, 2021Updated 5 years ago
- A repository that contains a collection of instrument drivers that can be used with SweepMe! or pysweepme.☆23Updated this week
- Tool to analyse the import structure of lean projects.☆25Aug 21, 2026Updated last week
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ☆15Aug 21, 2026Updated last week
- WuLiXueBao magazine article - automatic differentiation.☆15Feb 3, 2022Updated 4 years ago
- OpenClaw-style theorem proving☆29Aug 21, 2026Updated last week
- Lennard Jones in Lean☆23Jul 14, 2025Updated last year
- Code for "A Simple but Effective Approach to Improve Structured Language Model Output for Information Extraction"☆16Mar 15, 2024Updated 2 years ago
- ☆18Mar 10, 2026Updated 5 months ago
- RunAI&KG prize winner of the 2024 LLM hackathon in materials and chemistry. Create a glossary out of your manuscript in materials and che…☆12Aug 15, 2025Updated last year
- Lean 4 library of tools for parsing and compiling syntax and parser definitions.☆16Dec 10, 2023Updated 2 years ago
- InsightGraph: A Visual Journey through Materials Articles☆18Jul 20, 2023Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Documenting common pitfalls and footguns in Lean☆37Aug 26, 2025Updated last year
- An automatic differentiation and algebraic modeling package☆18Dec 15, 2022Updated 3 years ago
- ☆16May 28, 2026Updated 3 months ago
- General neural tactic for Lean 4☆43Aug 6, 2026Updated 3 weeks ago
- ☆93Updated this week
- Leaff is a diff tool for Lean environments☆25Jan 18, 2025Updated last year
- Package for the propagation of representations of low-rank matrices through finite compositions of common operations.☆22Mar 29, 2024Updated 2 years ago
- ☆15Jun 18, 2024Updated 2 years ago
- Try a tactic at each step in a Lean proof.☆39Aug 21, 2026Updated last week
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- .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
- Understand your Python codebase. 📡 Summarizes your directory in a single table. Displays the file structure of all the files, their func…☆12May 15, 2025Updated last year
- Open source Photonics PDK for VTT's 3 um SOI platform.☆14Aug 7, 2026Updated 3 weeks ago
- ☆15Apr 23, 2023Updated 3 years ago
- ☆22Oct 20, 2022Updated 3 years ago
- CLEVER: Code Lean Evaluation for Verified End-to-end Reasoning☆49Updated this week
- MIT Photonic-Bands: computation of photonic band structures in periodic media☆214May 27, 2026Updated 3 months ago
- ProofNet dataset ported into Lean 4☆31Jun 9, 2025Updated last year
- Library for connecting to the Stanford Lock-In Amplifier SR830. (for Linux/Windows)☆12Nov 28, 2014Updated 11 years ago
- 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.
- Command line tool for managing Garmin workouts.☆10Updated this week
- Package for approximation of solutions to matrix differential equations or time-dependent matrices via dynamically evolving low rank deco…☆20Oct 30, 2024Updated last year
- Tools for designing RF components and networks☆13Aug 23, 2022Updated 4 years ago
- SorryDB indexes sorries in public lean repositories☆55Updated this week
- Various codes used to interact remotely with the instruments in the laboratory written in Python.☆11Jun 1, 2020Updated 6 years ago
- Object oriented toolbox for data management, graphics and econometrics.☆10Nov 23, 2024Updated last year
- A scanning transfer cavity laser stabilization scheme based on the Red Pitaya STEMlab platform; Pultinevicius et al., Rev. Sci. Instrum. …☆19Apr 9, 2026Updated 4 months ago