MCP-Ressourcen mit 'logic'
Entdecken Sie 1+ MCP-Tools und Dienste mit dem Tag 'logic' zur Optimierung Ihrer Minecraft-Projekte.
logic
All
- Ein Server, der Prover9/Mace4 für automatisierte Theoremprüfung und logisches Denken in KI-Systemen integriert.
Ausgewählt