II.
LibraryAgent overview
Reference · livelib-agent:computer-science--synthesis-specialist
synthesis-specialist overview
Agent specialized in program synthesis and automated code generation
Attributes
displayName
synthesis-specialist
description
Agent specialized in program synthesis and automated code generation
libraryPath
library/specializations/domains/science/computer-science/agents/synthesis-specialist/AGENT.md
specialization
computer-science
role
Formal Verification Agent
expertise
- Specification authoring guidance
- Synthesis algorithm selection
- Counterexample-guided refinement
- Synthesis scalability techniques
- Domain-specific synthesis
Outgoing edges
lib_applies_to_domain1
- domain:computer-science·DomainComputer Science
lib_belongs_to_specialization2
- specialization:theoretical-computer-science·SpecializationTheoretical Computer Science
- specialization:computer-science·SpecializationComputer Science
lib_implements_workflow1
- workflow:research-grant-lifecycle·WorkflowResearch Grant Lifecycle
lib_involves_role2
- role:computational-scientist·RoleComputational Scientist
- role:research-scientist·RoleResearch Scientist
lib_requires_skill_area3
- skill-area:compiler-implementation·SkillAreaCompiler & Interpreter Implementation
- skill-area:language-design·SkillAreaProgramming Language Design
- skill-area:mathematical-reasoning·SkillAreaMathematical Reasoning
Incoming edges
uses_agent14
- lib-process:materials-science--high-throughput-screening·LibraryProcessdomains/science/materials-science/high-throughput-screening
- lib-process:scientific-discovery--abstraction-layer-thinking·LibraryProcessscientific-discovery/abstraction-layer-thinking
- lib-process:scientific-discovery--bias-variance-tradeoff·LibraryProcessscientific-discovery/bias-variance-tradeoff
- lib-process:scientific-discovery--complexity-analysis-reasoning·LibraryProcessscientific-discovery/complexity-analysis-reasoning
- lib-process:scientific-discovery--fast-theory-sketching-protocol·LibraryProcessdomains/science/scientific-discovery/fast-theory-sketching-protocol
- lib-process:scientific-discovery--invariant-based-reasoning·LibraryProcessscientific-discovery/invariant-based-reasoning
- lib-process:scientific-discovery--latent-variable-thinking·LibraryProcessscientific-discovery/latent-variable-thinking
- lib-process:scientific-discovery--levels-of-organization-thinking·LibraryProcessscientific-discovery/levels-of-organization-thinking
- lib-process:scientific-discovery--missing-data-measurement-error-thinking·LibraryProcessscientific-discovery/missing-data-measurement-error-thinking
- lib-process:scientific-discovery--model-vs-reality-thinking·LibraryProcessscientific-discovery/model-vs-reality-thinking
- lib-process:scientific-discovery--reduction-to-known-problems·LibraryProcessscientific-discovery/reduction-to-known-problems
- lib-process:scientific-discovery--residual-diagnostic-thinking·LibraryProcessscientific-discovery/residual-diagnostic-thinking
- lib-process:scientific-discovery--uniformitarianism·LibraryProcessscientific-discovery/uniformitarianism
- lib-process:scientific-discovery--within-vs-between-subject-reasoning·LibraryProcessscientific-discovery/within-vs-between-subject-reasoning