{"id":"knot0-com-semi-formal-reasoning","name":"semi-formal-reasoning","af_score":null,"security_score":null,"reliability_score":null,"what_it_does":"Structured code verification, fault localization, and semantic analysis — agent skill based on the Agentic Code Reasoning paper","best_when":null,"avoid_when":null,"last_evaluated":null}