01Verification Gate utilizing Z3 SMT invariant checking and Merkle audit trails
02MCP Server (v2) providing 12 tools for integration with Claude Code, Cursor, and other MCP clients
03Multi-Agent Belief Synchronization enabling push, pull, and merge operations with consensus
040 GitHub stars
05AGM Belief Revision with formal guarantees for expanding, contracting, and revising beliefs
06Knowledge Graph (NetworkX-backed) for structured entity/relation extraction and contradiction detection