InternetMaximalism

Run the mordred-hermes release runbook — version bump, dev PR, dev→main release PR, TestPyPI dry run, verification, PyPI publish, tag. Use when the user asks to release, publish, or bump the package version.

Read-only inspection of the Mordred privacy layer (status, policy, network path, plugins). Observe only — never mutate or read secrets.

Synthetic test fixture — a skill that declares Tor as its required network path.

Synthetic test fixture — a skill that opts into Mordred keyvault protection.

Synthetic test fixture — a skill that declares clearnet network access.

Synthetic test fixture — a skill with no metadata.mordred extension at all.

Audit and verify software systems in any domain — cryptographic protocols, ZK circuits, smart contracts, distributed systems, business logic (payments, inventory, access control), embedded systems, APIs, and more — by formalizing them in Lean 4. Use not only for auditing existing implementations but also for product architecture decisions (comparing design candidates, examining invariants, sanity-checking design soundness). Always use this skill when the user says things like "check / audit / prove it with Lean", "verify soundness or safety", "I want to formally confirm the design is correct", "verify or compare architecture candidates", "create an audit folder and formally verify", or when they ask to check consistency between implementation and design, invariants, or security properties. Apply the same full procedure to re-audit requests for new versions (v2, etc.). Always begin with an interview (questions from Claude to the user) to pin down the target, the mode, and the properties to verify — tailored to

Set up Hermes Agent as a Discord bot and connect it to the Mordred browser extension's end-to-end encryption. Use this when the user wants to add Discord to Hermes, create a Hermes Discord bot, or enable encrypted Discord channels with Mordred. Walks through the Discord Developer Portal, writes the bot token and allowed-user id to ~/.hermes/.env, invites the bot, starts the gateway, and verifies the bot comes online.