Assertion framework for Python unit tests
Tooling to assist with Semantic Version Manipulation and Representation
Parse infix boolean expressions to RPN, evaluate and generate truth tables.
A python tool for logic clauses analysis and binary operations
Intent compilation and uncertainty detection for AI agents — truth verification, ambiguity resolution, causal reasoning. Rust core + MCP server.