🔧
proofspec
🔧MCP Serverchristian140903-sudo/proofspec
glama
Installation
Server ConfigurationServer configuration (JSON)
{
"$schema": "https://raw.githubusercontent.com/christian140903-sudo/proofspec...0
Last UpdatedJul 21, 2026
christian140903-sudo/proofspec
{
"$schema": "https://raw.githubusercontent.com/christian140903-sudo/proofspec...