formal-proof-mcp
481nickharris808/formal-proof-mcp
MCP server Claude CodeCodexCursor +2
MCP server "formal-proof-mcp" as configured in nickharris808/formal-proof-mcp. Runs locally from the formal-proof-mcp Python package.
543 tagged Python, measured the same way as everything else here.
Browse within: model-context-protocol 172mcp-server 111LLM 79fastmcp 33cli 26africa 24kenya 24local-first 17fastapi 13agents 11api 10cursor 10llm-tools 9swiss-open-data 9
nickharris808/formal-proof-mcp
MCP server Claude CodeCodexCursor +2
MCP server "formal-proof-mcp" as configured in nickharris808/formal-proof-mcp. Runs locally from the formal-proof-mcp Python package.
CSOAI-ORG/csoai-cra-annex-iv-classifier-mcp
MCP server Claude CodeCodexCursor +2
EU Cyber Resilience Act product classifier MCP. Classifies PDEs into CRA hierarchy (default / Class I / Class II / Annex IV per Implementing Reg 2025/2392), audits the 15 Annex I cybersecurity requirements, generates Annex VIII technical docs skeleton, emits HMAC-signed classification certs. Built for 11 Dec 2027…
RudrenduPaul/agent-observability
MCP server Claude CodeCodexCursor +2
AI agent observability with deterministic record/replay — capture any LangGraph or OpenAI Agents SDK run, replay it offline at zero API cost. Runs locally from the agent-observability-trace-cli Python package.
MCP server Claude CodeCodexCursor +2
A data service for checking Russian residential construction companies and projects using official housing-registry information. It provides developer details, project declarations, escrow arrangements, construction permits, deadline changes, buildings under construction, and an advisory risk summary.
MCP server Claude CodeCodexCursor +2
MCP server for Kenya diaspora remittance optimization. Runs locally from the remit-mcp Python package.
MCP server Claude CodeCodexCursor +2
MCP server for Kenya Revenue Authority tax compliance — PAYE calculator, PIN reg. Runs locally from the kra-mcp Python package.
MCP server Claude CodeCodexCursor +2
Kenya civic form agent via MCP — checklists, draft letters, requirements check, eCitizen guide, Huduma Centre, timeline planner. 6 tools. Runs locally from the fomu-mcp Python package.
MCP server Claude CodeCodexCursor +2
MCP server for Kenya insurance intelligence — NHIF-era (now SHA/SHIF) coverage figures, parametric crop risk, microinsurance comparison. Demo data. Runs locally from the bima-mcp Python package.
MCP server Claude CodeCodexCursor +2
One of 2 in claude_desktop_config.json
MCP server for the Lobbywatch.ch lobby database — conflicts of interest of Swiss parliamentarians. Runs locally from the lobbywatch-mcp Python package. Needs 1 environment variable to run.
ChristianPresley/threatintel-mcp
MCP server Claude CodeCodexCursor +2
MCP server "threatintel-mcp" as configured in ChristianPresley/threatintel-mcp. Runs locally from the threatintel-mcp Python package.
MCP server Claude CodeCodexCursor +2
MCP server "firewalla-mcp" as configured in djuntgen/firewalla-mcp. Runs locally from the firewalla-mcp Python package.
MCP server Claude CodeCodexCursor +2
MCP server "vmd-mcp" as configured in Alierkn/vmd-mcp. Runs locally from the vmd-mcp Python package.
MCP server Claude CodeCodexCursor +2
Local-first CLI, pre-commit hook and MCP server for detecting hardcoded secrets. Runs locally from the secret-scanner-cl Python package.
MCP server Claude CodeCodexCursor +2
MCP server "wetter-mcp-server" as configured in Schimmilab/wetter-mcp-server. Runs locally from the wetter-mcp-server Python package.
MCP server Claude CodeCodexCursor +2
Allow your AI coding agents to access figma files & prototypes directly. Runs locally from the figma-mcp Python package.
rubensgomes-org/calculator-mcp
MCP server Claude CodeCodexCursor +2
A calculator MCP server using the FastMCP framework. Runs locally from the calculator-mcp-rubens Python package.