mcp-scripts
0.00
MCP Script Rules
10871 results
(72.7ms)
page 19 / 544
loogle-search
0.00
Search Mathlib for lemmas by type signature pattern
parallel-agents
0.00
Parallel Agent Orchestration
complete-skill
0.00
A complete skill for E2E testing
agent-orchestration
0.00
Agent Orchestration Rules
skill-upgrader
0.00
Upgrade any skill to v5 Hybrid format using decision theory + modal logic
prove
0.00
Formal theorem proving with research, testing, and verification phases
environment-triage
0.00
Environment Triage
math-help
0.00
Guide to the math cognitive stack - what tools exist and when to use each
Agent Context Isolation
debug
0.00
Debug issues by investigating logs, database state, and git history
no-polling-agents
0.00
No Polling for Background Agents
tldr-stats
0.00
Show full session token usage, costs, TLDR savings, and hook activity
recall
0.00
Query the memory system for relevant learnings from past sessions
recall-reasoning
0.00
Search past reasoning for relevant decisions and approaches
continuity-ledger
0.00
Create or update continuity ledger for state preservation across clears
skill-development
0.00
Skill Development Rules
index-at-creation
0.00
Index at Creation Time
implement_plan_micro
0.00
Implement technical plans from thoughts/shared/plans with verification
discovery-interview
0.00
Deep interview process to transform vague ideas into detailed specs. Works for technical and non-technical users.