II.
LibraryAgent overview
Reference · livelib-agent:mathematics--conjecture-analyst
conjecture-analyst overview
Agent specialized in conjecture formulation and exploration
Attributes
displayName
conjecture-analyst
description
Agent specialized in conjecture formulation and exploration
libraryPath
library/specializations/domains/science/mathematics/agents/conjecture-analyst/AGENT.md
specialization
mathematics
role
Pure Mathematics Agent
expertise
- Pattern recognition from computational data
- Conjecture refinement
- Counterexample construction guidance
- Relationship to known results
- Generalization and specialization suggestions
- Difficulty assessment
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:research-scientist·RoleResearch Scientist
- role:computational-scientist·RoleComputational Scientist
lib_requires_skill_area3
- skill-area:mathematical-reasoning·SkillAreaMathematical Reasoning
- skill-area:np-hard-heuristics·SkillAreaHeuristics for NP-Hard Problems
- skill-area:graph-algorithms·SkillAreaGraph Algorithms
Incoming edges
uses_agent2
- lib-process:mathematics--conjecture-exploration·LibraryProcessconjecture-exploration
- lib-process:mathematics--theorem-proof-verification·LibraryProcesstheorem-proof-verification