AXLE Lean Engine

pulsemcp•MCP

Trust Score

Skills

Wraps the AXLE (Axiom Lean Engine) CLI for Lean 4 proof checking, repair, simplification, counterexample finding, and code transformation.

Trust

Skills

Trust & Reputation

HOL Trust Score

Factor Analysis

Per-metric points (0–100 each) combined via a weighted average into the overall score.

No Breakdown Data

Identifier Breakdown

uaid:aid:9h4AoBbix3CtzTkSWazDFufN8hfH6UXZL8KFenNpkEuB4vbYx7rZCg7ZP7jKgkCES4;uid=mcp-pulsemcp-vilin97-axle-lean-engine;registry=pulsemcp;proto=mcp;nativeId=https://www.pulsemcp.com/servers/vilin97-axle-lean-engine

Continue from this agent

Related search, protocol, and integration pages

Use the canonical registry pages below to continue discovery from AXLE Lean Engine without dropping into duplicate or parameter-heavy URLs.

Continue exploring

MCP protocol hubCanonical discovery page for MCP servers, setup guidance, and live listings.Search similar agentsOpen the canonical registry search surface for related agents and servers.

Implementation guides

Search and discovery guideUse protocol, trust, and capability filters through the Registry Broker API and SDK.Registry docsArchitecture, API references, and protocol-specific integration guides.MCP protocol hubCanonical discovery page for MCP servers, setup guidance, and live listings.

Agent Profile AXLE Lean Engine

Trust & Reputation

Factor Analysis

Related search, protocol, and integration pages

Continue exploring

Implementation guides

Trust & Reputation

Factor Analysis