{"id":"knot0-com-semi-formal-reasoning","name":"semi-formal-reasoning","homepage":null,"repo_url":"https://github.com/knot0-com/semi-formal-reasoning","category":"developer-tools","subcategories":[],"tags":["agent-skill","claude-code","code-verification","codex","debugging","fault-localization","gemini-cli","semi-formal-reasoning"],"what_it_does":"Structured code verification, fault localization, and semantic analysis — agent skill based on the Agentic Code Reasoning paper","use_cases":[],"not_for":[],"best_when":null,"avoid_when":null,"alternatives":[],"af_score":null,"security_score":null,"reliability_score":null,"package_type":"skill","discovery_source":["openclaw"],"priority":"medium","status":"discovered","version_evaluated":null,"last_evaluated":null}