Sponsored by Deepsite.site, Most Affordable AI Code Agent Powered by DeepSeek.
A project that integrates mcp servers for Prover9/Mace4 for a logical reasoning agent