Loading...
Loading...
Found 107 Skills
Validation agent that validates plan tech choices against current best practices
Formal theorem proving with research, testing, and verification phases
No Polling for Background Agents
Write reliable prompts for Agentica/REPL agents that avoid LLM instruction ambiguity
Spawn Agentica multi-agent patterns
Interactive workspace discovery - learn what tools, workflows, agents, and hooks are available
Fast codebase search via WarpGrep (20x faster than grep)
Search Mathlib for lemmas by type signature pattern
Analyze repository structure, patterns, conventions, and documentation for understanding a new codebase
Computational geometry with Shapely - create geometries, boolean operations, measurements, predicates
Research-to-implement pipeline chaining 5 MCP tools with graceful degradation