Home / Skills / verify-and-repair-algebra

verify-and-repair-algebra

1105216375-alt/resimindSkill

Check and repair rational polynomial identities with ResiMind when an expansion looks wrong, two algebraic answers disagree, or an agent needs exact coefficient evidence before using a result. Applies to bounded polynomial algebra, not calculus, arbitrary theorem proving or engineering certification.

ScannedSkillSource: GitHub
207 stars +118 this week Updated 20d ago License MIT Context ≈82 tokens always loaded
62popular

Why this score

Stars16/35
Usage (forks)0/15
Upkeep25/25
License15/15
Owner history6/10

Popularity score: 62/100 from public GitHub signals only. It shows how widely used and maintained this is, not how well it works. Not included yet: the fake-star check. The security scan is shown separately and doesn't change the score. How we rank

Security

Scanned Oct 20, 2026 at commit 4055d9c8a065, with Cisco's open-source skill-scanner.

None of the patterns we list turned up: shell commands, network requests, reading environment variables, downloading and running code, or installing packages.

A scan lists patterns in the code. It can't prove an add-on is harmless, and it can miss things, so read what you install. How we scan

Alternatives

Other makers' add-ons that do the same job, next to this one.

NameScoreStarsContextUpdated
This oneverify-and-repair-algebra 1105216375-alt/resimind · Skill 62★ 207≈82 always20d ago
Web Algebra AtomGraph/Web-Algebra · MCP server Both about algebra 59★ 47not measuredyesterday
repair aerovato/operator-memory · Skill Both about repair 64★ 468≈14 always24d ago
verify-cli mufeedvh/code2prompt · Skill Both about verify 79★ 7.7k≈14 always19d ago
verify whiteguo233/OpenBiliClaw · Skill Both about verify 74★ 3.5k≈27 always16d ago
verify-patterns Aurite-ai/agent-verifier · Skill Both about verify 59★ 45≈59 always22d ago