symposium-dev

Guidance for using crate-a

Guidance vended by a plugin with no dependency gate

Guidance for using crate-w

Guidance for using crate-m

Guidance for maintaining the tool member crate

Workspace-defined skill installed via the bare skills/ convention.

Guidance for using crate-x

Guidance for using crate-z

Always use this skill before writing any test code in the Toasty repository

Idiomatic patterns for writing code with formality-core (a-mir-formality). Use when writing or reviewing judgment functions, type definitions, or parser-related code in projects built on formality-core.

Guidance for using the Toasty async ORM crate — schema definition, CRUD, relations, queries, and transactions

[Critical] Best practice for Rust coding. Always activate this skill before authoring Rust code or answering questions about Rust.

Use rhaicp to build scripted ACP (agent-client-protocol) agents or clients for integration testing. Activate when writing tests that need controllable agent behavior, deterministic multi-turn conversations, session load/resume with replay, or when configuring…

**Critical:** Use this skill before authoring Rust code or answering questions about Rust crates.