What level of mathematics is this skill designed for?

This skill is specifically optimized for graduate-level Continuous Algorithms (CS 395T), focusing on rigorous proofs, optimization, and formal mathematical logic.

What happens if a proof cannot be verified?

The skill attempts to fix errors iteratively up to three times. If it still cannot reach a verified state, it prepends a warning comment for manual review.

How does the verification agent ensure correctness?

The verification subagent acts as a skeptic, checking every inequality direction, verifying that all theorem hypotheses are met, and looking for algebraic gaps or non-sequiturs.

Can I customize the LaTeX formatting?

Absolutely. The skill reads an 'example.tex' file from your project root to internalize and replicate your specific formatting and stylistic conventions.

Does this skill require a knowledge base?

Yes, for best results, it requires a knowledge_base directory containing YAML files of theorems, which it uses to provide accurate citations in the final proof.

Graduate Math & Algorithm Solver

Name: Graduate Math & Algorithm Solver
Author: Surya-Sunkari

bySurya-Sunkari

0•

학습 및 문서화

Solves complex graduate-level continuous algorithm problems with multi-agent verification and professional LaTeX formatting.

The solve skill is a high-rigor tool designed for CS 395T students and researchers working with continuous algorithms. It utilizes a specialized multi-agent workflow to draft mathematical proofs, verify logical correctness, and enforce academic styling. By integrating with a local knowledge base of theorems and referencing style examples, the skill ensures that solutions are not only mathematically sound but also adhere to strict formatting standards. It includes a dedicated verification phase that checks inequality directions, theorem hypotheses, and edge cases to minimize errors in advanced mathematical reasoning.

주요 기능

01Iterative error correction with up to three feedback loops

020 GitHub stars

03Multi-agent workflow for drafting, verifying, and styling proofs

04Rigorous logical verification of inequalities and edge cases

05Automated LaTeX formatting based on local example templates

06Knowledge base integration for citing specific theorems and lemmas

사용 사례

01Verifying the mathematical rigor of complex optimization proofs

02Generating formal LaTeX solutions for graduate-level algorithm homework

03Automating academic document styling for mathematical research

What are Skills?·How to Install

Install with 🐟 Skill.Fish

npx skillfish add surya-sunkari/continuous-algorithms-solver solve

For use in Claude.ai and ChatGPT

주요 기능

01Iterative error correction with up to three feedback loops

020 GitHub stars

03Multi-agent workflow for drafting, verifying, and styling proofs

04Rigorous logical verification of inequalities and edge cases

05Automated LaTeX formatting based on local example templates

06Knowledge base integration for citing specific theorems and lemmas

사용 사례

01Verifying the mathematical rigor of complex optimization proofs

02Generating formal LaTeX solutions for graduate-level algorithm homework

03Automating academic document styling for mathematical research

What are Skills?·How to Install

Install with 🐟 Skill.Fish

npx skillfish add surya-sunkari/continuous-algorithms-solver solve

For use in Claude.ai and ChatGPT