Agent skill
Soundness Proof Assistant
Assist in constructing type soundness proofs using progress and preservation theorems
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 Interface
Interface with interactive theorem provers for mechanized verification
ClaudeCodexOpenClawContent & Media
a5c-ai1,889
Agent skill
Theorem Prover Orchestration
Unified theorem prover ecosystem dispatcher - routes proofs across Dafny, Lean4, Coq, Agda, F*, Idris, Stellogen
OpenClawData & Analytics
plurigrid72
Agent skill
Formal Verification Guide
Formal methods, theorem proving, and model checking for CS research
OpenClawData & Analytics
wentorai309
Agent skill
Formal Verification AI
**Category:** Phase 3 Core - Correctness Guarantees **Status:** Skeleton Implementation **Dependencies:** `categorical-composition` (correctness as functoriality)
OpenClawData & Analytics
plurigrid72
Apache-2.0View resource
Agent skill · Reference
formal-methods-expert
Agent skill for ML / AI Engineer, Backend Developer, Data Scientist, published by luo-kai. Project details and file access are provided by the publisher.
Development & Engineering
luo-kai14
Not specifiedView resource
Agent skill · Reference
proof-failure-explainer
Agent skill for Researcher, ML / AI Engineer, Technical Writer, published by ArabelaTso. Project details and file access are provided by the publisher.
OpenClawEducation & Research
ArabelaTso260
Not specifiedView resource
Agent skill · Reference
lemma-discovery-assistant
Agent skill for Researcher, ML / AI Engineer, Data Scientist, published by ArabelaTso. Project details and file access are provided by the publisher.
Education & Research
ArabelaTso260
Not specifiedView resource
Agent skill · Reference
soundness-proof-assistant
Agent skill for Researcher, ML / AI Engineer, Data Scientist, published by MikeTreml. Project details and file access are provided by the publisher.
Education & Research
MikeTreml
Not specifiedView resource
Agent skill · Reference
theorem-prover-interface
Agent skill for Data Scientist, ML / AI Engineer, Researcher, published by MikeTreml. Project details and file access are provided by the publisher.
Data & Analytics
MikeTreml
Not specifiedView resource
Agent skill · Reference
theorem-prover-interface
Agent skill for Data Scientist, ML / AI Engineer, Researcher, published by MaTriXy. Project details and file access are provided by the publisher.
Data & Analytics
MaTriXy
Not specifiedView resource
Agent skill · Reference
proof-skeleton-generator
Agent skill for Researcher, UX Designer, Technical Writer, published by ArabelaTso. Project details and file access are provided by the publisher.
OpenClawEducation & Research
ArabelaTso260
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.