1. Conduid
  2. Developer Tools
  3. Axiomander
MCP server · Developer Tools

Axiomander

by · github.com/scidonia/axiomander

Code by Contract Dev Environment

Unclaimed devtools
InstallView source
39Low

Scored a month ago · breakdown

About Axiomander

Axiomander is an MCP server published by scidonia in the Developer Tools category: code by Contract Dev Environment.

The repository has 12 stars and 1 forks, with the last commit 3 months ago. Recent commit activity is the strongest signal that reported issues will get attention.

Install

From source
git clone https://github.com/scidonia/axiomander

This server has no ConduID identity, so agent calls to it are not receipted. Pin the version you install and review the source before granting it credentials.

Tools (6)

OCaml ≥ 5.2 + Coq ≥ 9.0Proof kernel

Parameters not published.

Python ≥ 3.10Runtime + test harness

Parameters not published.

coqpytInteractive Coq proof session (LLM oracle)

Parameters not published.

cvc4 or cvc5SMT solver (Level 2)

Parameters not published.

duneOCaml/Coq build

Parameters not published.

z3SMT solver (Level 2 — preferred for string/float theories)

Parameters not published.

Ask AI

✦

Ask AI about Axiomander

Powered by Claude · Grounded in docs

I know everything about Axiomander. Ask me about installation, configuration, usage, or troubleshooting.

Security checks

6 checks have not been run yet.

Questions

About Axiomander

How do I install Axiomander?

No package has been published for this server, so install it from source: clone the repository and follow its README.

Is Axiomander safe to use with an AI agent?

Its trust score is 39 out of 100 (low). Conduid hasn't run static security checks on this repository yet, so review the source yourself before granting it credentials. It has no ConduID identity yet, so agent calls to it are not receipted.

Is Axiomander still maintained?

Yes — the last commit was 3 months ago. The repository has 12 stars and 1 forks.