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·LibraryProcesshigh-throughput-screening
- lib-process:scientific-discovery--abstraction-layer-thinking·LibraryProcessabstraction-layer-thinking
- lib-process:scientific-discovery--bias-variance-tradeoff·LibraryProcessbias-variance-tradeoff
- lib-process:scientific-discovery--complexity-analysis-reasoning·LibraryProcesscomplexity-analysis-reasoning
- lib-process:scientific-discovery--fast-theory-sketching-protocol·LibraryProcessfast-theory-sketching-protocol
- lib-process:scientific-discovery--invariant-based-reasoning·LibraryProcessinvariant-based-reasoning
- lib-process:scientific-discovery--latent-variable-thinking·LibraryProcesslatent-variable-thinking
- lib-process:scientific-discovery--levels-of-organization-thinking·LibraryProcesslevels-of-organization-thinking
- lib-process:scientific-discovery--missing-data-measurement-error-thinking·LibraryProcessmissing-data-measurement-error-thinking
- lib-process:scientific-discovery--model-vs-reality-thinking·LibraryProcessmodel-vs-reality-thinking
- lib-process:scientific-discovery--reduction-to-known-problems·LibraryProcessreduction-to-known-problems
- lib-process:scientific-discovery--residual-diagnostic-thinking·LibraryProcessresidual-diagnostic-thinking
- lib-process:scientific-discovery--uniformitarianism·LibraryProcessuniformitarianism
- lib-process:scientific-discovery--within-vs-between-subject-reasoning·LibraryProcesswithin-vs-between-subject-reasoning