What is com.axiomatic-ai/prover?

Name: com.axiomatic-ai/prover
Author: axiomatic-ai

com.axiomatic-ai/prover

AI 与智能体

by axiomatic-ai

Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.

Persistent memory using a local knowledge graph for long-term context.

89.7k

Dynamic problem-solving through sequential thought processes.

89.2k

Persistent codebase knowledge graph. Survives session restarts and context compaction.

37.3k