Sandbox
14 repos for ia · Cursor · TestingClear
Untrivial-ai/
agent-orchestrator

Run and supervise teams of coding agents from planning to merge. Any harness (Claude code, codex, +25 more). Desktop, web, mobile, and cloud agents.

11k
giancarloerra/
SocratiCode

Enterprise-grade (40m+ LOC) codebase intelligence, zero-setup, local & private Plugin/Skill/Extension or MCP: hybrid semantic search, polyglot dependency graphs, symbol-level impact analysis & call-flow, interactive HTML viewer, cross-project & branch-aware search, DB/API/infra knowledge. 61% less tokens, 84% fewer calls, 37x faster. Cloud in beta.

3.3k

Intercept and inspect Coding Agent API traffic from Claude Code, Codex CLI, Gemini CLI, Cursor CLI, OpenCode, Kimi/Kimi Code, Pi, and Hermes in a local trace viewer.

3.2k
yogthos/
chiasmus

Chiasmus is an MCP server that gives language models access to formal verification

211

Comprehensive sets of standards and practices designed to elevate the capabilities of AI coding agents.

156
EliasOenal/
term-cli

Interactive terminals for AI agents, built for what you can't --yes away. SSH+MFA, GRUB/U-Boot, debconf installers, SOL/serial consoles, fsck, cryptsetup, pdb/gdb, apt, certbot, pwsh and even Vim in tmux-backed sessions. Agent-driven, human-assisted for secrets/MFA. Single-file Python. Agent Skill. CI with 700+ tests. BSD License.

102
liatrio-labs/
spec-driven-workflow

Lightweight markdown-based workflow for collaborating with AI coding assistants using spec-driven development methodology

93
aplavin/
julia-mcp

MCP server for persistent Julia sessions — fast iteration without startup/compilation overhead

86
levi-qiao/
longgraph-skill

Long-horizon agent skill for Claude Code / Cursor / Codex / Grok Build — multi-task ledger loop, host-portable, clean-context supervisor, verified gates. Markdown library (loop-graph), not a framework.

76
HeshamFS/
materials-simulation-skills

Agent Skills for computational materials science -- numerical stability, solvers, meshing, convergence, and simulation workflows.

66
iliaal/
ai-skills

Curated collection of agent skills for AI coding assistants.

41