1. Conduid
  2. Other
  3. Axle MCP
MCP server · Other

Axle MCP

by · github.com/Vilin97/axle-mcp
Unclaimed last commit 7 months ago other
InstallView source
30Low

Scored a month ago · breakdown

About Axle MCP

Axle MCP is an MCP server published by Vilin97 in the Other category.

The repository has 2 stars and 0 forks, with the last commit 7 months ago. Six months or more without a commit doesn't mean the server is broken, but check the open issues before depending on it in production.

Install

From source
git clone https://github.com/Vilin97/axle-mcp

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 (15)

axle_checkValidate Lean code and report errors/warnings/info

Parameters not published.

axle_disproveFind counterexamples to false theorems via property-based testing

Parameters not published.

axle_environmentsList available Lean environments (versions + Mathlib)

Parameters not published.

axle_extract_theoremsSplit a file into one-theorem-per-unit with rich metadata

Parameters not published.

axle_have2lemmaLift `have` statements into standalone top-level lemmas

Parameters not published.

axle_have2sorryReplace `have` proofs with `sorry` (targeted exercises)

Parameters not published.

axle_mergeCombine multiple Lean snippets into one file

Parameters not published.

axle_normalizeStandardize Lean file formatting

Parameters not published.

axle_renameRename declarations and update all references

Parameters not published.

axle_repair_proofsAuto-repair broken proofs (replaces `sorry` with working tactics)

Parameters not published.

Show all 15 tools
axle_simplify_theoremsRemove redundant tactics and clean up proof steps

Parameters not published.

axle_sorry2lemmaLift `sorry` placeholders into standalone top-level lemmas

Parameters not published.

axle_theorem2lemmaConvert between `theorem` and `lemma` keywords

Parameters not published.

axle_theorem2sorryReplace proof bodies with `sorry` (create problem templates)

Parameters not published.

axle_verify_proofCheck that a candidate proof matches a formal statement

Parameters not published.

Ask AI

✦

Ask AI about Axle MCP

Powered by Claude · Grounded in docs

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

Security checks

6 checks have not been run yet.

Questions

About Axle MCP

How do I install Axle MCP?

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

Is Axle MCP safe to use with an AI agent?

Its trust score is 30 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 Axle MCP still maintained?

The last commit was 7 months ago. That's long enough that you should check whether the maintainer is responding to issues before depending on it.