guided-formal-reasoning
claudeEvidence-gated reasoning for coding agents: proof obligations, typed inquiry intents, and epistemic reports over a zero-dependency Datalog engine.
3 skills
5
Plugin marketplace
rofl
ROFL: relation-oriented fixpoint language and the guided-formal-reasoning skill built on it.
Add this marketplace
Then install any plugin below by name — each page has its exact command.
README badge
Shows how many plugins this repo ships, and links here.
claude & codex pluginslisted