v0.2.0

meob released this 11 Aug 08:13

· 73 commits to main since this release

57854d5

v0.2.0

explain tool: deterministic proof-tree → natural-language reasoning steps with rule ID citations (no LLM)
KB preload: EUCLID_KB_PATH / --kb-path + markdown digest via kb_summary
Rule IDs: # rule: <id> surfaced as rule_id in proof trees (audit trail)
HTTP API: new POST /explain endpoint
Docs aligned (README, EUCLID_IR, AGENTS, integrations)
TODO: lists feature planned next (scope: literals + member)

Assets 2