Axiomatic_AI MCP Server
☆23Sep 16, 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
- Load SweepMe! instrument drivers in your own python projects.☆18Updated 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
- Backward-filtering forward-guiding with StochasticDiffEq.jl☆12Feb 23, 2024Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A repository that contains a collection of instrument drivers that can be used with SweepMe! or pysweepme.☆23Updated this week
- Experimental port of ADEV to Julia☆11Nov 12, 2023Updated 2 years ago
- WuLiXueBao magazine article - automatic differentiation.☆15Feb 3, 2022Updated 4 years ago
- OpenClaw-style theorem proving☆29Aug 21, 2026Updated 3 weeks ago
- Lennard Jones in Lean☆24Jul 14, 2025Updated last year
- ☆18Mar 10, 2026Updated 6 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
- Documenting common pitfalls and footguns in Lean☆37Aug 26, 2025Updated last year
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- ☆16May 28, 2026Updated 3 months ago
- Curated list of known efforts in collecting and/or curating of chemical/materials data☆24Dec 8, 2020Updated 5 years ago
- General neural tactic for Lean 4☆43Updated this week
- IvoryOS – Auto-abstraction & runtime for self-driving labs. Turns Python scripts into a visual workflow builder, execution engine, and op…☆21Sep 8, 2026Updated last week
- python scripting tools for streamlined laboratory automation☆25Aug 27, 2026Updated 3 weeks ago
- Spring 2024 - Data Science and Machine Learning in Chemical Engineering☆12Feb 14, 2024Updated 2 years ago
- ☆96Updated 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
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ☆15Jun 18, 2024Updated 2 years ago
- Try a tactic at each step in a Lean proof.☆39Updated this week
- .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
- ☆18Jul 25, 2025Updated last year
- 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.☆14Updated this week
- ☆10Sep 7, 2023Updated 3 years ago
- ☆15Apr 23, 2023Updated 3 years ago
- ☆22Oct 20, 2022Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Code for "Fully Non-Linear Neuromorphic Computing with Linear Wave Scattering" (C.C. Wanjura and F. Marquardt).☆12Apr 16, 2024Updated 2 years ago
- CLEVER: Code Lean Evaluation for Verified End-to-end Reasoning☆49Aug 26, 2026Updated 3 weeks ago
- ProofNet dataset ported into Lean 4☆31Jun 9, 2025Updated last year
- GUI for MNPBEM with extended functionality☆15Jun 7, 2022Updated 4 years ago
- Library for connecting to the Stanford Lock-In Amplifier SR830. (for Linux/Windows)☆12Nov 28, 2014Updated 11 years ago
- 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