4,026 tools found
Formally verified 3D mesh intersection in Lean 4, so a reviewer checks 93 lines of spec instead of 1000+ lines of AI code.
Self-hosted, agent-native issue tracker and wiki that runs on your own Cloudflare account.
Evidence-first performance debugging skill using Brendan Gregg's USE and TSA methods for root-cause analysis.
A safety-first skill that installs, repairs, updates, and uninstalls Hyprland on Fedora via bundled dry-run scripts.
FindMate is a private-first owner-profile exchange for finding complementary human founders and project partners.
Decompose complex work into parallel subagent assignments, then integrate and verify results while keeping approvals with the user.
Terminal AI coding agent that wires your LLM of choice into your tools, code, and workflows.
Wattage prices your AI agent's traces against 52 real models, finds wasted tokens with a fix, and fails CI on cost regressions.
cursor-bridge is a Rust binary that runs Claude Code CLI using your Cursor subscription backend through automatic proxy management.
AI-native OS layer serving local LLM inference as an OpenAI-compatible system service, federating with peer nodes with no broker.
Boffin feeds an AI coding agent the architectural constraints for the exact file it's editing, then requires it to verify the result.
Hallmark generates UI that refuses generic AI defaults, using 20 themes, 57 slop-test gates, and audit/redesign/study verbs.
