Agent skill
/math - Unified Math Capabilities
AI software team for Claude Code - 138 agents, 295 skills, 73 hooks. Self-learning, multi-agent swarm, autonomous skill evolution.
ClaudeContent & Media
vibeeval541
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
Mathematical Optimization
Applies mathematical optimization — linear programming (simplex, interior point, duality), integer/mixed-integer programming (branch-and-bound, cutting planes), convex optimization (gradient descent variants, Adam, L-BFGS, Newton), constraint satisfaction (backtracking, AC-3, SAT/SMT solvers), an...
OpenClawData & Analytics
rnavarych15
Agent skill
Loop Invariant Generator
Automatically generate and verify loop invariants for algorithm correctness proofs
ClaudeCodexOpenClawData & Analytics
a5c-ai1,889
Agent skill
SMT Solver Interface
Interface with SMT solvers for verification and synthesis
ClaudeCodexOpenClawData & Analytics
a5c-ai1,889
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
ctf-misc
Agent skill for Data Scientist, ML / AI Engineer, Backend Developer, published by ForceInjection. Project details and file access are provided by the publisher.
ClaudeData & Analytics
ForceInjection99
Not specifiedView resource
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
Agent skill · Reference
skill-model-checker
Agent skill for Data Scientist, ML / AI Engineer, Researcher, published by majiayu000. Project details and file access are provided by the publisher.
OpenClawData & Analytics
majiayu00029
Not specifiedView resource
Agent skill · Reference
skill-model-checker
Agent skill for Data Scientist, ML / AI Engineer, Researcher, published by majiayu000. Project details and file access are provided by the publisher.
OpenClawData & Analytics
majiayu00029
Not specifiedView resource
Agent skill · Reference
smt-solver-interface
Agent skill for Data Scientist, ML / AI Engineer, Researcher, published by MikeTreml. Project details and file access are provided by the publisher.
OpenClawData & Analytics
MikeTreml
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.