agents-best-practices: A provider-neutral Agent Skill library for designing, auditing, and refactoring agentic harnesses compatible with Codex and Claude Code. It covers the full control plane of an agent runtime: typed tool design, permission checks, context management, memory, and observability. Targeted at developers building production-ready agent systems across any domain or AI provider.; chiasmus: Chiasmus is an MCP server that integrates formal verification (Z3, Prolog) and code analysis (tree-sitter) to solve complex logical and structural problems. It translates natural language into formal logic using templates and provides verified results. It also analyzes source code call graphs for dead code, impact, and reachability.
Generate MVP agent harness blueprints for any business domain (CRM, ops, finance, healthcare)
Detect conflicts in access control rules