proof-checker
10561Chanw-research/claude-code-paper-writing
Skill Claude Code
A workflow for checking mathematical proofs written in LaTeX, finding gaps, and producing an audit report.
Skills, subagents, slash commands, hooks, settings, plugin bundles and MCP servers that install into Claude Code. 374,389 indexed, measured the same four ways as everything else here.
Chanw-research/claude-code-paper-writing
Skill Claude Code
A workflow for checking mathematical proofs written in LaTeX, finding gaps, and producing an audit report.
Agent Claude Code
Enterprise-grade code quality guardian ensuring production standards and architectural excellence.
Command Claude Code
Use when the user asks to log in to Syncable, authenticate, switch projects or organizations, check current context, deploy a service, check deployment status, or manage platform settings.
Skill Claude CodeCodex
Create VS Code-style typewriter animation videos with mechanical keyboard sounds. Supports 4 typing speeds, ghost text autocomplete, strikethrough corrections, emoji picker, file tab switching, syntax highlighting (6 languages), Chinese IME (pinyin + direct mode), inline images, image stacks, animated checkboxes…
Skill Claude CodeCodex
Automates reading, searching, drafting, and sending emails AND calendar events in Classic Outlook on Windows using local COM automation. Use this skill when the user asks to process Outlook emails, create drafts, send messages, save attachments, manage calendar events, create meetings, or respond to invitations from…
Plugin Claude Code
Fast and token-friendly code reading for AI coding agents. Symbol-aware MCP tools that replace cat/grep with 85% fewer tokens, sub-millisecond search, and a raw fallback that preserves cat/grep parity byte-for-byte.
bakhtiersizhaev/openevidence-mcp
MCP server Claude CodeCodexCursor +2
Unofficial MCP server connecting OpenEvidence to AI agents via authenticated browser sessions. Runs locally from the openevidence-mcp npm package. Needs 1 environment variable to run.
Skill Claude CodeCodex
The First-Time Principle at four layers: thought, planning, execution, output (including conversation). Write everything as if for the first time. Triggers on implementation, refactor, bug fix, doc/memory edit, planning, and any "just patch it" urge. Cross-platform: Claude Code, OpenAI Codex, OpenCode, OpenClaw…
backblaze-labs/claude-skill-b2-cloud-storage
Plugin Claude Code
Bundles 1 skill · 57 tokens together
Manage Backblaze B2 cloud storage from the terminal: list, audit, cleanup, security review, and lifecycle.
MCP server Claude CodeCodexCursor +2
Lean Theorem Prover MCP. Runs locally from the lean-lsp-mcp Python package.
Skill Claude CodeCodex
Odoo ERP integration - connect, introspect, and automate your Odoo instance.
Skill Claude Code
Transform Markdown or text specifications into human-readable HTML documents with summaries, reordered structure, visual explanations, diagrams, charts, and traceability to the source. Use when asked to convert a spec, requirements document, API spec, product spec, design doc, or technical document into readable HTML…
MCP server Claude CodeCodexCursor +2
MCP server for searching Google Patents via SerpApi. Runs locally from the @kunihiros/google-patents-mcp npm package.
MCP server Claude CodeCodexCursor +2
MCP Server untuk data saham Indonesia (IDX) - Implementasi Node.js/TypeScript. Runs locally from the @baguskto/saham npm package.
MCP server Claude CodeCodexCursor +2
LinkedIn MCP server with auth and posting tools. Runs locally from the linkedin-mcp Python package. Needs 2 environment variables to run.
drpwchen/paper-review-and-digest
Skill Claude CodeCodex
Deep single-paper academic analysis — journal credibility, author profiling, reference verification, citation impact, and critical appraisal. Like a teaching hospital journal club report. Use this skill whenever the user wants to deeply review, evaluate, or dissect a single academic paper, prepare a journal club…
Skill Claude Code
Daily journaling, reflection, and planning. Use when the user says 'morning', 'let's plan the day', 'journal', or similar. Loads calendar + email scan, reviews yesterday, checks emotional state, runs inbox hygiene, creates today's journal, offers an honest reality check, sets 1-3 priorities that ladder up to annual…
Skill Claude CodeCodex
Systematic root-cause debugging with verification. Use for errors, stack traces, broken tests, flaky tests, regressions, or anything not working as expected. For validating bug reports before fixing, use bug-reproduction-validator agent.
Plugin Claude Code
Bundles 3 skills, 1 command · 122 tokens together
Describe your goal, approve the spec, then step away — Claude and Codex loop together until it's right.
honeydew-ai/honeydew-ai-coding-agents-plugins
Plugin Claude Code
Bundles 13 skills, 1 hook, 1 MCP server · 736 tokens together
Skills and tools powered by the Honeydew MCP that help coding agents query data and build semantic models.
MCP server Claude CodeCodexCursor +2
MCP server for Withings health data — sleep, activity, heart, and body metrics. Remote server at withings-mcp.com.
Skill Claude CodeCodex
Ingest a source into the project wiki as OKF v0.2 markdown. Point at a file, PR, or doc and the wiki-curator extracts knowledge, writes YAML frontmatter, and updates relevant concept pages.
Plugin Claude Code
Bundles 1 skill · 123 tokens together
Use Alva Agent for investing workflows: ask market questions with live financial context, set alerts, build or remix Playbooks, connect accounts, and backtest strategies on Alva Cloud.
Skill Claude CodeCodex
Author and edit Microsoft Copilot Studio agents as code in VS Code using the Copilot Studio extension. Load when working with a cloned agent definition: editing topics, tools, triggers, knowledge sources, or settings in .mcs.yaml/.mcs.yml files; writing AdaptiveDialog topic YAML; using Power Fx conditions or…
At most 3 mods per repository are shown here, and a mod shipped inside a plugin is left to that plugin's page — the rest are on their repository pages: