Chiasmus is an MCP server that gives language models access to formal verification
The agent harness performance optimization system. Skills, instincts, memory, security, and research-first development for Claude Code, Codex, Opencode, Cursor and beyond.