II.
LibraryAgent overview
Reference · livelib-agent:mathematics--theorem-prover-expert
theorem-prover-expert overview
Agent specialized in interactive theorem proving and formal verification
Attributes
displayName
theorem-prover-expert
description
Agent specialized in interactive theorem proving and formal verification
libraryPath
library/specializations/domains/science/mathematics/agents/theorem-prover-expert/AGENT.md
specialization
mathematics
role
Pure Mathematics Agent
expertise
- Proof strategy development
- Tactic selection and automation
- Library navigation (Mathlib, MathComp)
- Formalization guidance
- Proof gap identification
- Extraction planning
Outgoing edges
lib_applies_to_domain1
- domain:mathematics·DomainMathematics
lib_belongs_to_specialization2
- specialization:computational-mathematics·SpecializationComputational Mathematics
- specialization:mathematics·SpecializationMathematics
lib_implements_workflow1
- workflow:experiment-design·WorkflowExperiment Design
lib_involves_role2
- role:computational-scientist·RoleComputational Scientist
- role:research-scientist·RoleResearch Scientist
lib_requires_skill_area3
- skill-area:mathematical-reasoning·SkillAreaMathematical Reasoning
- skill-area:compiler-implementation·SkillAreaCompiler & Interpreter Implementation
- skill-area:language-design·SkillAreaProgramming Language Design
Incoming edges
uses_agent2
- lib-process:mathematics--proof-writing-assistance·LibraryProcessproof-writing-assistance
- lib-process:mathematics--theorem-proof-verification·LibraryProcesstheorem-proof-verification