Archive
Derived from this repo's Cargo dependencies and activity — difficulty is an estimate from codebase size and scope.
Matched by dependency overlap in Cargo manifests — each card notes the most distinctive crates both projects share.
Forall (∀) is a coding agent from Astrio that helps developers build correct software by generating spec-driven code alongside machine-checkable proofs.
AI coding agent workflow engine for structured task lifecycles.
Growing list of apps and tools for enhancing social media experiences.
Markdown-native AI agent orchestrator. Write tasks in a kanban board — agents spawn, PRs open, boards update.
Open-Source Platform for Subagents and Agent Teams. Long-running, collaborative, proactive.
Open-source API for financial data. Get quotes, historical data, technical indicators, and more.
Submit and manage Forma (https://joinforma.com) claims from the command line and Model Context Protocol (MCP) clients
Mock REST APIs from JSON with zero coding within seconds.
Open Source Agentic Coding Harness