By pikel72
Math reasoning workflow for proof blueprint generation and verification in Claude Code.
Optional Rethlas solver agent for running the proof workflow in the current project. Prefer /rethlas-solve for normal use.
Attempts assigned subgoals or decomposition branches under the Rethlas solver protocol.
Verifies a complete mathematical proof blueprint and writes a strict verification JSON report.
Natural-language entry for Rethlas math agent.
Test whether a conjecture, lemma, or intermediate claim can be refuted by constructing counterexamples.
Generate and analyze simpler examples that satisfy both the assumptions and the conclusion of a theorem statement or subgoal. Use when you are stuck in reasoning and need simpler examples to regain traction, when you need simpler examples that satisfy both assumptions and conclusion, or when you want to see where the assumptions take effect and gain intuition.
Screen a decomposition plan by first trying to prove all of its subgoals directly, then identifying the key stuck points if the plan does not fully go through. Use when a decomposition plan is created.
Synthesize the common stuck points across failed decomposition plans and recursive sub-agent reports. Use when the current batch of decomposition plans has failed.
Admin access level
Server config contains admin-level keywords
Uses power tools
Uses Bash, Write, or Edit tools
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.
frenzymath/Rethlas 的 Claude Code 打包层。所有 credit 归 frenzymath 与上游贡献者。
claude plugin marketplace add pikel72/Rethlas-Claude
claude plugin install rethlas@rethlas-claude
MCP 服务器需要 Python 包。先用 claude plugin details rethlas 拿到插件安装路径,然后:
pip install -r <plugin-path>/solver/mcp/requirements.txt \
-r <plugin-path>/verifier/mcp/requirements.txt
Apache License 2.0,沿用上游。
npx claudepluginhub pikel72/rethlas-claude --plugin rethlasHarness-native ECC operator layer - 67 agents, 271 skills, 92 legacy command shims, reusable hooks, rules, selective install profiles, and production-ready workflows for Claude Code, Codex, OpenCode, Cursor, and related agent harnesses
v9.44.1 — Patch release for Gemini environment/version detection and qwen auth gating. Run /octo:setup.
Superpowers Plus core skills library for Claude Code: planning, execution routing, TDD, debugging, and collaboration workflows
Unity Development Toolkit - Expert agents for scripting/refactoring/optimization, script templates, and Agent Skills for Unity C# development
Tools to maintain and improve CLAUDE.md files - audit quality, capture session learnings, and keep project memory current.
Reliable automation, in-depth debugging, and performance analysis in Chrome using Chrome DevTools and Puppeteer