rethlas

Plugin rethlas from marketplace rethlas-claude in pikel72/Rethlas-Claude. Commands read from the repo's manifest — 1 month ago.

Skills (15)

• rethlas

  Natural-language entry for Rethlas math agent.

• construct-counterexamples

  Test whether a conjecture, lemma, or intermediate claim can be refuted by constructing counterexamples.

• construct-toy-examples

  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 wan

• direct-proving

  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.

• identify-key-failures

  Synthesize the common stuck points across failed decomposition plans and recursive sub-agent reports. Use when the current batch of decomposition plans has failed.

• obtain-immediate-conclusions

  Derive cheap consequences before deeper search.

• propose-subgoal-decomposition-plans

  Propose multiple subgoal decomposition plans for the current theorem using the information already gathered.

• query-memory

  Retrieve prior conclusions, examples, counterexamples, failed paths, or branch states.

• record-keeping

  Guide for writing solver memory records that maximize reuse in subsequent loop iterations. Use before calling `memory_append`, especially on the first attempt or when a previous attempt's records were not useful.

• recursive-proving

  Delegate plans to subgoal-prover agents when direct-proving hits stuck points.

• search-math-results

  Find math theorems, constructions, examples for subgoal proving.

• verify-proof

  Verify candidate proofs by invoking the Rethlas verifier agent. Use only when a full candidate proof of the entire problem has been assembled in markdown, and before publishing the final verified blueprint.

• check-referenced-statements

  Verify cited theorems via arXiv then WebSearch.

• synthesize-verification-report

  Aggregate all detected errors and gaps into the final verification report, apply strict accept/reject logic, and produce repair hints when rejected.

• verify-sequential-statements

  Check a proof statement by statement for local correctness and reasoning gaps.

Slash commands (1)

• /rethlas:rethlas-solve

  Run the Rethlas proof-generation and verification workflow on a project-local math problem.

Subagents (3)

• solver

  Optional Rethlas solver agent for running the proof workflow in the current project. Prefer /rethlas-solve for normal use.

• subgoal-prover

  Attempts assigned subgoals or decomposition branches under the Rethlas solver protocol.

• verifier

  Verifies a complete mathematical proof blueprint and writes a strict verification JSON report.

MCP servers (2)

• solver-mcp

  runs: python ${CLAUDE_PLUGIN_ROOT}/solver/mcp/server.py

• verifier-mcp

  runs: python ${CLAUDE_PLUGIN_ROOT}/verifier/mcp/server.py

Similar plugins