backward-chaining
Verified knowledge for AI agents. Compress context, extract and store facts, define rules, and ask questions — get deterministic answers with proof, not LLM guesses. Connect agents via MCP, Python SDK, TypeSc
A small programming language that can deduce new information when given a set of rules and facts.
