research automation agents

whenpoem/aiscientist

Agent Claude Code

Discover and structurally ingest papers from arxiv / openalex. Populates the literature index.

whenpoem/aiscientist

Agent Claude Code

Attempt formal proofs in Lean 4 for stated lemmas. Scope: small statistical identities (sample mean unbiasedness, Chebyshev/Cauchy-Schwarz/Markov/Bonferroni inequalities, simple CLT/MLE statements). Triage gate: only spawn when triageforformalization returns eligible=True.

whenpoem/aiscientist

Agent Claude Code

Adversarial reviewer of finished manuscripts. Refuses to sign off on central result claims until publication-critical metrics trace back to pinned evidence (empirical checklist) AND theorem claims trace back to an empty diagnostic manifest plus either a Lean verification or an explicit unverified flag (proof…

Yaomeng1749/claude-code-digital-nomad-config-pack

Agent

An implementation-focused coding agent that follows an existing specification and architecture to write code.

Yaomeng1749/claude-code-digital-nomad-config-pack

Agent

Use this agent when conducting research related to AI memory systems, including topics such as memory architectures, retrieval-augmented generation, episodic/semantic memory, long-term memory mechanisms, memory consolidation, forgetting curves, vector databases, and related AI research domains. This agent is designed…

Yaomeng1749/claude-code-digital-nomad-config-pack

Agent

Use this agent when the user needs to prepare for interviews at AI, LLM, Agent, or CS-related companies. This includes when the user asks for mock interviews, technical question practice, behavioral question preparation, system design practice, or general interview advice for tech/AI roles.\n\nExamples:\n\n \nContext…