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/plugins/afhverjuekki/claude-code-aristotle-plugin

claude-code-aristotle-plugin

9stars0forks

How to install claude-code-aristotle-plugin?

afhverjuekki/claude-code-aristotle-plugin

$claude plugin marketplace add afhverjuekki/claude-code-aristotle-plugin

Installs into the current project.

Summary

A Claude Code plugin for theorem proving and code verification using Aristotle AI from Harmonic.

Files · 1

.claude-plugin/plugin.json

1	# .claude-plugin/plugin.json
2	claude plugin marketplace add afhverjuekki/claude-code-aristotle-plugin

afhverjuekkiPublisher · 3 listings

Preview

afhverjuekki/claude-code-aristotle-plugin

# Aristotle Plugin for Claude Code

A Claude Code plugin for **theorem proving** and **code verification** using [Aristotle AI](https://aristotle.harmonic.fun/) from Harmonic.

## Installation

```bash

Repoafhverjuekki/claude-code-aristotle-plugin

LicenseMIT

CategoryTesting

UpdatedJan 2026

First seenJul 22, 2026

Tags

Plugin Marketplace

People who liked this also viewed

6 picks

Type

reverse-skillReverse Engineering / Authorized Penetration Testing / Security Research Skill Router Pack AI-powered routing + On-demand toolchain bootstrapping + Self-evolving knowledge base Supports Claude Code, Kiro, Cursor, Cline, and other AI coding clients 逆向/渗透/安全技能路由包 - AI 自动路由 + 按需自举工具链 + 自动进化经验库 | 支持 Claude Code / Kiro / Cursor / Cline 等代码 AI 客户端PluginsJul 20268.8k
claude-code-skills18 standalone skills for Claude Code and Codex: review, audit, optimization, testing, product discovery, and safe repository publishing.PluginsJul 2026520
Swift-Testing-Agent-SkillAn agent skill focused entirely on Swift Testing, helping you write better tests, migrate from XCTest, improve test architecture, and adopt modern Swift testing patterns with confidence.PluginsApr 2026431
evanflowA TDD-driven iterative feedback loop for software development. 16 cohesive Claude Code skills walk an idea from brainstorm → plan → execute → iterate, with checkpoints throughout.PluginsMay 2026419
Swift-Testing-Agent-SkillSwift Testing agent skill for Claude Code, Codex, and other AI tools.PluginsMay 2026395
phd-skillsPhD Research Skills for Claude Code: paper reproduction, experiment design, paper review, result comparison and more.PluginsJul 2026340