yogthos
Githubhttp://yogthos.net/

代码库

yogthos/chiasmus
205
Chiasmus is an MCP server that gives language models access to formal verification
TypeScript
ai-agentsai-assistantai-toolsformalmethodsllmmcpmcp-serverprologz3-smt-solver