Stats
Actions
Available In
Tags
'%20stop-opacity%3D'0.16'%2F%3E%3Cstop%20offset%3D'1'%20stop-color%3D'rgb(200%2C90%2C60)'%20stop-opacity%3D'0.03'%2F%3E%3C%2FlinearGradient%3E%3C%2Fdefs%3E%3Crect%20width%3D'320'%20height%3D'200'%20fill%3D'url(%23g)'%2F%3E%3Ccircle%20cx%3D'250'%20cy%3D'56'%20r%3D'92'%20fill%3D'rgb(200%2C90%2C60)'%20fill-opacity%3D'0.06'%2F%3E%3Ccircle%20cx%3D'64'%20cy%3D'172'%20r%3D'58'%20fill%3D'rgb(200%2C90%2C60)'%20fill-opacity%3D'0.05'%2F%3E%3C%2Fsvg%3E)
Solve competition math (IMO, Putnam, USAMO) with adversarial verification that catches what self-verification misses. Fresh-context verifiers attack proofs with specific failure patterns. Calibrated abstention over bluffing.
Personal Claude Code plugin directory that syncs with the official marketplace and adds my own plugins on top.
A sync script fetches the latest plugin list from upstream, then applies my customizations:
Sync runs weekly via GitHub Actions cron, or manually with:
./.github/scripts/sync-upstream.sh
All config lives in .github/scripts/:
| File | Purpose |
|---|---|
custom-plugins.json | My metadata and plugin entries to add |
exclude-plugins.txt | Upstream plugins to remove (one per line, # for comments) |
sync-upstream.sh | Sync script — fetches upstream, merges via jq |
Add an entry to .github/scripts/custom-plugins.json:
{
"name": "my-plugin",
"description": "What it does",
"category": "development",
"source": { "source": "url", "url": "https://github.com/..." },
"homepage": "https://github.com/..."
}
Add the plugin name to .github/scripts/exclude-plugins.txt:
some-plugin-i-dont-want
/plugin install {plugin-name}@ccode-personal-plugins
See each linked plugin for its respective license.
Own this plugin?
Verify ownership to unlock analytics, metadata editing, and a verified badge. GitHub access is read-only (username + org membership).
Sign in to claimOwn this plugin?
Verify ownership to unlock analytics, metadata editing, and a verified badge. GitHub access is read-only (username + org membership).
Sign in to claimBased on adoption, maintenance, documentation, and repository signals. Not a security audit or endorsement.
npx claudepluginhub mrkhachaturov/ccode-personal-plugins --plugin math-olympiadLaravel development toolkit MCP server. Provides intelligent assistance for Laravel applications including Artisan commands, Eloquent queries, routing, migrations, and framework-specific code generation.
Creates interactive HTML playgrounds — self-contained single-file explorers with visual controls, live preview, and prompt output with copy button
Discord channel for Claude Code — messaging bridge with built-in access control. Manage pairing, allowlists, and policy via /discord:access.
Localhost iMessage-style web chat for Claude Code — test surface with file upload and edits. No tokens, no access control.
Security reminder hook that warns about potential security issues when editing files, including command injection, XSS, and unsafe code patterns
Solve competition math (IMO, Putnam, USAMO) with adversarial verification that catches what self-verification misses. Fresh-context verifiers attack proofs with specific failure patterns. Calibrated abstention over bluffing.
anthropicsUltimate plugin management toolkit with 4 auto-invoked Skills for creating, validating, auditing, and versioning plugins in the claude-code-plugins marketplace
jeremylongshoreMulti-agent collaborative theorem proving with LeanTree and Ensue Memory Network
mutable-state-incSkills for developing with Lean 4 and Mathlib — proof methodology, toolchain setup, bisection, and more
leanproverDeveloper tools for maintaining Claude Code plugins. Upgrade skills, audit structure, and align with latest platform capabilities.
kenneth-liaoComprehensive skill pack with 66 specialized skills for full-stack developers: 12 language experts (Python, TypeScript, Go, Rust, C++, Swift, Kotlin, C#, PHP, Java, SQL, JavaScript), 10 backend frameworks, 6 frontend/mobile, plus infrastructure, DevOps, security, and testing. Features progressive disclosure architecture for 50% faster loading.
Jeffallan