codex-plugin-dsh

jacobianmorluto

☆ 37

Pure mathematics for agents: search for examples and counterexamples, compute exactly, and independently check what a result proves.

leantokenmorluto

☆ 15

Code intelligence for agents: find the code that matters and keep your context window and tokens lean.

anchorlawunknowbug

☆ 4

Code verification protocol for vibe coding — every claim must have a verifiable practice anchor.

GrassVisonmoduqishi

☆ 3

给 DeepSeek 等纯文本大模型外挂图像理解能力的实现无感添加视觉能力。提供 OpenAI 兼容的 API，自动将图片请求交给视觉模型分析，再将结构化结果注入文本模型，使增强后的模型体验接近原生多模态。