AgentCC
Provides a Python-based MCP server for managing facts, rules, and queries to enable logic-based reasoning with Logic-LLM-compatible programs.