uc-proof-engineer
Mathematical proof engineer for Unit Circle Observatory. Uses ProofComposer, VerificationEngine, and PropertyCheckers to validate optimization claims and prove…
An agent is a specialist Claude hands a whole job to, with its own tools and its own context.
8,249 agents across 643 plugins.
Mathematical proof engineer for Unit Circle Observatory. Uses ProofComposer, VerificationEngine, and PropertyCheckers to validate optimization claims and prove…
Use this agent when the MSP needs a per-user or per-org "human risk score" built from training completion and phishing-simulation performance, to rank the…
Use this agent when an MSP needs to perform a comprehensive Microsoft 365 tenant security audit. Trigger for: M365 security audit, MFA gaps, risky users,…
Use this agent when an MSP engineer, SRE, or incident manager needs to command an active incident or review the state of open PagerDuty incidents. Trigger for:…
Specialist in designing travel inventory systems for managing rooms, seats, and availability.
Specialist in designing comprehensive lease management systems covering the full lifecycle from application to move-out.
Specialist in designing property listing systems with MLS integration, advanced search capabilities, and rich media management.
DevOps specialist following the infinity loop principle (Plan → Code → Build → Test → Release → Deploy → Operate → Monitor) with focus on automation,…
Browser regression specialist for reproducing broken user flows, collecting console and network evidence, and narrowing likely root causes with Chrome DevTools…
Expert agent for creating unit tests for java applications using Diffblue Cover.
iOS UI/UX design following Apple Human Interface Guidelines
Creates and manages Kubernetes deployments and manifests
Self-learning intelligence specialist — drives the 4-step pipeline (RETRIEVE → JUDGE → DISTILL → CONSOLIDATE) across 29 MCP tools, coordinates with…
Intelligent issue management and project coordination with automated tracking, progress monitoring, and team coordination
RuVLLM specialist for local inference configuration, MicroLoRA fine-tuning, and multi-provider routing
Self-learning intelligence specialist — drives the 4-step pipeline (RETRIEVE → JUDGE → DISTILL → CONSOLIDATE) across 29 MCP tools, coordinates with…
Intelligent issue management and project coordination with automated tracking, progress monitoring, and team coordination
RuVLLM specialist for local inference configuration, MicroLoRA fine-tuning, and multi-provider routing
Master Java 21+ with modern features like virtual threads, pattern matching, and Spring Boot 3.x. Expert in the latest Java ecosystem including GraalVM,…
Master modern JavaScript with ES6+, async patterns, and Node.js APIs. Handles promises, event loops, and browser/Node compatibility. Use PROACTIVELY for…
Master Julia 1.10+ with modern features, performance optimization, multiple dispatch, and production-ready practices. Expert in the Julia ecosystem including…
Use PROACTIVELY when you need to design, build, or optimize data pipelines, dbt transformation models, ETL/ELT processes, and data infrastructure spanning…
Use this agent when you need to discover, collect, and validate data from multiple sources to fuel analysis and decision-making. Invoke this agent for…
Use this agent when you need to analyze data patterns, build predictive models, or extract statistical insights from datasets. Invoke this agent for…
Project Manager agent for sprint planning, Jira/Confluence workflows, Scrum ceremonies, and stakeholder reporting. Orchestrates project-management skills. Use…
Multi-source recency research persona. Walks 2–4 forcing intake questions one at a time (topic specificity, angle, time window, platform scope), runs Reddit +…
Quality & Regulatory agent for ISO 13485 QMS, MDR compliance, FDA submissions, GDPR/DSGVO, and ISMS audits. Orchestrates ra-qm-team skills. Spawn when users…
Use when working on ML infrastructure, platform engineering, and operational excellence for machine learning systems, including CI/CD for ML, model versioning,…
Use when working on native and cross-platform development for iOS and Android, including performance optimization, platform guidelines, and creating…
Use when working on cloud and hybrid network architectures, security, and performance optimization, including network design, troubleshooting, and automation,…
Dataset assessor for the data-finder skill. Applies a 5-point critique to each dataset proposed by the Explorer agent — measurement validity, sample selection,…
Humanization Verifier v3.0 - Citation integrity, statistical accuracy, meaning preservation, burstiness, structural coherence, AI pattern reduction,…
You are a senior academic publishing consultant with 20 years of cross-disciplinary academic journal editorial experience. Your expertise lies in quickly…
Pure functional programming, monads, type classes, GHC extensions, and Haskell ecosystem
Builds HIPAA-compliant healthcare systems with HL7 FHIR interoperability, medical data pipelines, and clinical workflow integration
Incident triage, runbook execution, communication protocols, and recovery procedures
Expert site reliability engineer specializing in SLOs, error budgets, observability, chaos engineering, and toil reduction for production systems at scale.
Expert technical writer specializing in developer documentation, API references, README files, and tutorials. Transforms complex engineering concepts into…
Expert detection engineer specializing in SIEM rule development, MITRE ATT&CK coverage mapping, threat hunting, alert tuning, and detection-as-code pipelines…
Mathematical guardian of reasoning integrity using WFGY formulas. Validates logic chains, checks reasoning consistency, applies mathematical corrections, and…
© 2026 Flowy · Free and open source
Built for Claude Code · Not affiliated with Anthropic