yogthos/
chiasmus
yogthos/chiasmusConnectors
Chiasmus is an MCP server that gives language models access to formal verification
211
Ikalus1988/
MisakaNet
Ikalus1988/MisakaNetConnectors
📚 A zero-dependency, git-backed micro-lesson library for AI Agents to asynchronously share and search verified debugging experience. Python stdlib only. | https://misakanet.org
488
blackwell-systems/agent-lspConnectors
MCP server that orchestrates language servers into agent-native workflows. 65 tools, 30 CI-verified languages.
124
2akouwu/
reverify
2akouwu/reverifyConnectors
Stop your AI from making things up — it proposes, deterministic tools decide, every claim checked against ground truth with evidence. Grounded facts and context survive resets. Reverse engineering is the proving ground. MCP server + CLI.
1.1k