prove
0.00
Formal theorem proving with research, testing, and verification phases
11505 results
(80.5ms)
page 9 / 576
math-router
0.00
Deterministic router for math cognitive stack - maps user intent to exact CLI commands
math-help
0.00
Guide to the math cognitive stack - what tools exist and when to use each
recall
0.00
Query the memory system for relevant learnings from past sessions
debug
0.00
Debug issues by investigating logs, database state, and git history
agent-orchestration
0.00
Agent Orchestration Rules
environment-triage
0.00
Environment Triage
validate-agent
0.00
Validation agent that validates plan tech choices against current best practices
graceful-degradation
0.00
Graceful Degradation with Helpful Messages
shapely-compute
0.00
Computational geometry with Shapely - create geometries, boolean operations, measurements, predicates
no-task-output
0.00
Never Use TaskOutput
pint-compute
0.00
Unit-aware computation with Pint - convert units, dimensional analysis, unit arithmetic
loogle-search
0.00
Search Mathlib for lemmas by type signature pattern
firecrawl-scrape
0.00
Scrape web pages and extract content via Firecrawl MCP
index-at-creation
0.00
Index at Creation Time
complete-skill
0.00
A complete skill for E2E testing
Idempotent Redundancy
internal-comms
0.00
A set of resources to help me write all kinds of internal communications, using the formats that my company likes to use. Claude should use this skill whenever asked to write some sort of internal...
coding-principles
0.00
Language-agnostic coding principles for maintainability, readability, and quality. Use when implementing features, refactoring code, or reviewing code quality.
handoff-codex
0.00
Delegate tasks to Codex CLI to save Claude context