derivation-verify
CommunityEnsure the correctness of derived results through independent verification.
Software Engineering#mathematical verification#independent verification#derivation verification#mathematical equivalence#adversarial comparison
Authorfkguo
Version1.0.0
Installs0
System Documentation
What problem does it solve?
This Skill verifies the correctness of derived mathematical results by independently re-deriving them multiple times and ensuring agreement among the results.
Core Features & Use Cases
- Independent Verification: Runs multiple independent re-derivations of a mathematical result.
- Mathematical Equivalence: Clusters results by mathematical equivalence, not string equality.
- Adversarial Comparator: Ensures convergence by requiring agreement among at least two independent derivations.
- Use Case: When you have derived a complex mathematical result and want to ensure its correctness before using it in further work.
Quick Start
Use the derivation-verify skill to verify the correctness of the derived formula 'A(q)=arctan(q/2m)/2q' by providing the context and the formula to derive.
Dependency Matrix
Required Modules
ClaudeCodexGeminiOpenCodeKimireview-swarm
Components
scriptsworkflowsreferences
💻 Claude Code Installation
Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.
Please help me install this Skill: Name: derivation-verify Download link: https://github.com/fkguo/nullius/archive/main.zip#derivation-verify Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
Agent Skills Search Helper
Install a tiny helper to your Agent, search and equip skill from 620,000+ vetted skills library on demand.