Skills MCP Plugins Subagents

Browse by category

Coding Skills2061 Marketing Skills1580 Design Skills1479 Security Skills1134 Automation Skills994 Testing Skills985 Media Skills908 Infrastructure Skills902 Data Skills883 Finance Skills840 Automation MCPs799 Planning Skills797 DevTool MCPs797 Documentation Skills757 Coding MCPs738 Productivity Skills721 Productivity MCPs649 Data MCPs505 DevTool Skills503 Infrastructure MCPs482 Security MCPs441 Debugging Skills428 Code review Skills415 Search & RAG MCPs409

The Monday digest

The week's best new agents, skills and MCP servers. One email, every Monday.

Free · unsubscribe anytime.

aaaa.fyi

Every agent skill, MCP server, plugin and subagent — searchable, comparable, and one command from installed. Live stats from GitHub, npm and PyPI.

Agent Skills MCP Servers Plugins Subagents Coding Agents

Collections Official publishers Glossary Blog Search Saved Feedback

Privacy Terms llms.txt Sitemap

made with ♥ · © 2026 aaaa.fyi

Independent project · real data from public registries

…/afhverjuekki/claude-code-aristotle-plugin

home/subagents/afhverjuekki/claude-code-aristotle-plugin

afhverjuekki/claude-code-aristotle-plugin

2 subagents

Subagent

code-verifierUse this agent when the user needs to verify algorithm correctness, create VERINA-style specifications, or set up code verification with Aristotle. Examples:proof-verifierUse this agent when the user needs to verify Lean proofs generated by Aristotle, check for sorryAx contamination, or validate that proofs are logically sound. Examples: