Skills MCP Plugins Subagents

Browse by category

DevOps & CI/CD Skills Productivity & Workflow Skills Other Skills Product & Project Management Skills Documentation & Knowledge Skills Code Review & Refactor Skills Backend & APIs Skills Agent Meta & Communication Skills Research Skills Security Skills UX UI & Design Skills Testing & QA Skills See all →

Every Claude Code skill, MCP server, plugin and subagent in one directory. Searchable, comparable, and one command from installed. Live stats from GitHub, npm and PyPI.

We're on Product HuntYour agent's app storeCheck it out →

Agent Skills MCP Servers Plugins Subagents Coding Agents

Collections Official publishers Glossary FAQ Blog Search Saved Feedback

Privacy Terms llms.txt Sitemap

made with ♥ · © 2026 aaaa.fyi

Independent project · real data from public registries

home/plugins/afhverjuekki

home/plugins/afhverjuekki

afhverjuekki

1 plugins

#Type

1claude-code-aristotle-pluginAristotle AI integration for Lean 4 formalization and code verification. Formalizes mathematical proofs and verifies algorithm correctness with 96.8% accuracy on VERINA benchmark.PluginsJan 2026—9