Explore
MCP servers and skills: search, filter by where they run, and compare.
MCP servers and skills: search, filter by where they run, and compare.
Wisdom-Guided Software Development
SkillMIT★ 2Few starsNo key
A CLI tool for automating serial command operations, featuring serial and parallel execution modes for multiple devices and command sets.
SkillMITFew starsNo key
Resource-aware multi-agent orchestration for Codex and DeepSeek Harness (All in Flash DSH plugin)
SkillApache-2.0★ 63No key
A research toolkit for AI agents: tackle hard problems with formal proofs, reproducible checks, and reviews of what was actually proved.
SkillApache-2.0★ 8No key
Research Prompt Optimization, Research Execution, Reconciliation
SkillApache-2.0★ 4Few starsNo key
AgentOS — a research operating system exploring skill composition in multi-agent systems: agents discover, compose, and adapt reusable skills into dependency-aware execution graphs, with OS-inspired p
SkillMIT★ 1Few starsNo key
ὅραμα: The complete agent methodology for solving impossible problems with elegance.
SkillMITFew starsNo key
Who stands behind it