kAIto47802/Prover-Agent
Prover Agent: An Agent-Based Framework for Formal Mathematical Proofs
Platform-specific configuration:
{
"mcpServers": {
"Prover-Agent": {
"command": "npx",
"args": [
"-y",
"Prover-Agent"
]
}
}
}Add the config above to .claude/settings.json under the mcpServers key.
Loading reviews...