agents-best-practices:面向 Codex 和 Claude Code 的中立 Agent 技巧库,帮助设计、审计和重构 Agent 运行时框架,覆盖工具权限、上下文管理、记忆与可观测性等关键模块,适合跨域、跨 AI 提供商构建生产级 Agent 系统的开发者。;chiasmus:Chiasmus 是一个 MCP 服务器,集成了形式化验证(Z3、Prolog)和代码分析(tree-sitter),用于解决复杂的逻辑和结构问题。它通过模板将自然语言转化为形式逻辑,并提供经过验证的结果。它还能分析源代码调用图,进行死代码、影响和可达性分析。
为任意业务域(CRM、运营、金融、医疗等)生成 MVP Agent 框架蓝图
检测访问控制规则中的冲突