cordis
8 servers · 473★ total
Reverse engineer anything with agents, from app behavior down to native binaries.
Pure mathematics for agents: search for examples and counterexamples, compute exactly, and independently check what a result proves.
Runtime evidence that helps agents trace, profile, and burn down hotspots in application and native code, GPU kernels, and inference stacks.
Code intelligence for agents: find the code that matters and keep your context window and tokens lean.
MCP server manager plugin for DeepSeek Harness: Settings → MCP page, OAuth (PKCE + dynamic client registration) or static-token auth, tools registered as mcp__<name>__*
Expose DeepSeek Harness agent capabilities as an MCP server (brain=Hermes, arms=Harness)
dsh plugin for MCP status inspection and server management | dsh 的 MCP状态查看与服务管理插件
Contribution research for agents: check repository guidance, related work, code context, and validation before writing a patch.