FStarDev
01Agent
An F compiler developer agent for build, bootstrap, and compiler engineering tasks.
3.1k 2d ago A 19 tokens
original Apache-2.0
Agent
Audits .test integration fixtures under tests/php/Integration/Fixtures for drift against the current compiler output. Use after lexer, parser, analyzer, or emitter changes.
523 8d ago A 37 tokens
original MIT
Agent
Audits and updates CLAUDE.md files in src/php/ modules to match the actual code. Use after large refactors, new modules, or periodic maintenance.
523 8d ago A 38 tokens
original MIT
RULES
04Agent
Agent "RULES" from phel-lang/phel-lang, covering phel rules + cli, rules, new features (v0.30 – main), gotchas and cli.
523 8d ago A 0 tokens
original MIT
Agent
The behavioral corpus for the text tool-call parser, migrated from 4900 lines of Rust unit tests into executable conformance fixtures for the harn#5142 parse re-platform. Every baseline was generated from the observed stdout of the built binary, never from reasoning and never from the Rust assertions, so the corpus…
20 yesterday A 0 tokens
original Apache-2.0
Agent
The session workspaceanchor is transient turn context, not durable system prompt content.
20 yesterday A 0 tokens
original Apache-2.0
Agent Claude Code
Use this agent when working with C++ or Rust codebases, including: writing new features in C++ or Rust, debugging memory safety issues, optimizing performance-critical code, designing system-level architectures, implementing concurrent or parallel algorithms, refactoring legacy C++ code, transitioning code between C++…
5 6mo ago A 0 tokens
Agent Claude Code
Use this agent when working on LLM-related development tasks including: API integrations with providers (OpenAI, Anthropic, Google, etc.), prompt engineering, embedding systems, RAG implementations, token optimization, context management, streaming responses, function calling, fine-tuning workflows, or LLM…
5 6mo ago A 0 tokens
Agent Claude Code
Use this agent when the user needs to write, refactor, or troubleshoot React components, especially those involving Fluent UI, Storybook stories, Husky hooks, or advanced animations. Examples: 'Create a Fluent UI button component with hover animations', 'Set up a Storybook story for this modal', 'Add a pre-commit hook…
5 6mo ago A 0 tokens