Agent skill
Loop Invariant Generator
Automatically generate and verify loop invariants for algorithm correctness proofs
ClaudeCodexOpenClawData & Analytics
a5c-ai1,889
Agent skills
Reusable instructions for compatible AI agents.
Explore by field
Loading catalog totals…Field counts come from the latest full-catalog snapshot. A resource can belong to several fields and platforms.
Resources
Search resultsAgent skill
Theorem Prover Orchestration
Unified theorem prover ecosystem dispatcher - routes proofs across Dafny, Lean4, Coq, Agda, F*, Idris, Stellogen
OpenClawData & Analytics
plurigrid72
Agent skill · Reference
loop-invariant-generator
Agent skill for Data Scientist, ML / AI Engineer, Backend Developer, published by MikeTreml. Project details and file access are provided by the publisher.
Data & Analytics
MikeTreml
Not specifiedView resource
Agent skill · Reference
loop-invariant-generator
Agent skill for Data Scientist, ML / AI Engineer, Backend Developer, published by MaTriXy. Project details and file access are provided by the publisher.
Data & Analytics
MaTriXy
Not specifiedView resource
No matching resources
Try a broader search or clear some filters.
Platform labels describe intended use. Read each resource's author credits, requirements and available access methods.