horus-agents

Solid

Portable agentic smart contract auditing workflow with a curated vulnerability DB, grep-first hunt cards, and reusable playbooks for Claude, Codex, GitHub, Gemini CLI, Cursor, and VS Code.

plugin 0 stars 0 forks Updated 2 months ago Apache-2.0

Install

Plugins install via a marketplace, in two steps.

This plugin isn't listed in a marketplace we've indexed. Install it directly from its GitHub repository — the README has the setup steps.

View on GitHub

Bundles

Everything this plugin ships — skills, agents, commands, hooks, and MCP servers it bundles.

Agents (38)

attack-graph-synthesizer.md audit-context-building.md audit-orchestrator.md cantina-judge.md certora-mutation-testing.md certora-sui-move-verification.md certora-verification.md chimera-setup.md code4rena-judge.md db-quality-monitor.md defihacklabs-indexer.md finding-chain-synthesizer.md function-analyzer.md halmos-verification.md improve-codebase-architecture.md invariant-catcher.md invariant-indexer.md invariant-reviewer.md invariant-writer.md issue-writer.md judge-orchestrator.md medusa-fuzzing.md missing-validation-reasoning.md multi-persona-orchestrator.md persona-bfs.md persona-dfs.md persona-mirror.md persona-reimplementer.md persona-state-machine.md persona-working-backward.md poc-writing.md protocol-reasoning.md report-aggregator.md sherlock-judging.md solodit-fetching.md sui-prover-verification.md system-synthesizer.md variant-template-writer.md

Quality Score: 66/100

Stars 20%
0
Recency 20%
75
Manifest 20%
100
Documentation 15%
0
Issue Health 10%
80
License 10%
100
Description 5%
100

Details

Author
calc1f4r
Repository
calc1f4r/Horus
Created
6 months ago
Last Updated
2 months ago
Language
Python
License
Apache-2.0