II.
LibraryAgent overview
Reference · livelib-agent:algorithms-optimization--correctness-verifier
correctness-verifier overview
Verify algorithm correctness through formal methods
Attributes
displayName
correctness-verifier
description
Verify algorithm correctness through formal methods
libraryPath
library/specializations/algorithms-optimization/agents/correctness-verifier/AGENT.md
specialization
algorithms-optimization
role
Formal Methods Expert
expertise
- Invariant identification
- Formal proof construction
- Edge case identification
- Counter-example generation
- Termination proof
Outgoing edges
lib_applies_to_domain1
- domain:computer-science·DomainComputer Science
lib_belongs_to_specialization1
- specialization:algorithms-optimization·Specialization
lib_involves_role2
- role:backend-engineer·RoleBackend Engineer
- role:computational-scientist·RoleComputational Scientist
lib_requires_skill_area2
- skill-area:dynamic-programming·SkillAreaDynamic Programming
- skill-area:mathematical-reasoning·SkillAreaMathematical Reasoning
Incoming edges
uses_agent3
- lib-process:algorithms-optimization--algorithm-implementation·LibraryProcessspecializations/algorithms-optimization/algorithm-implementation
- lib-process:algorithms-optimization--correctness-proof-testing·LibraryProcessspecializations/algorithms-optimization/correctness-proof-testing
- lib-process:algorithms-optimization--dp-transition-derivation·LibraryProcessspecializations/algorithms-optimization/dp-transition-derivation