Showing 30 of 22878 results
Fill out agriculture-related forms using data from FarmAdvisor organizations and properties. Automatically scopes to the user's organization, loads property data, and maps it to form fields.
Formal methods toolkit for multi-agent development: define agent contracts in VDM-SL, generate Phase 2 design documents (PROTOCOL.md, API-SIGNATURES.md), verify specifications, auto-prove with Z3, derive database schemas (DDL) with deviation tracking and invariant traceability, generate code scaffolds with runtime contract checks, auto-generate contract tests from specs and design documents, run end-to-end integrated workflows, route each module to the lightest capable model tier to cut token cost (contract-driven model routing with verification-gated escalation), reverse-engineer specifications from existing code, import natural language specs to VDM-SL, and export human-readable specification documents. Includes an evaluation harness with benchmark tasks and exploratory comparative results (single-model, heuristic scoring; see eval/ for methodology and limitations).
Formspec specification and schema navigator with spec-expert research agent. Provides structured reference maps for 625K+ of spec content and 8K lines of JSON schemas.
Audit your Mac's security posture, understand what each finding means and why it matters, then fix what's safe, all from Claude Code. Wraps the fort CLI over your shell. Read-only by default; never applies a fix without your explicit go-ahead. Findings also map to SOC 2 / ISO 27001 / NIST / CIS if you need audit evidence.
Generate a random number and get a hilariously absurd fortune reading for today
Foundary git skills for status checks, diff review, conflict resolution, change splitting, and scoped Conventional Commits.
Foundary workflow skills for investigation, design strategy, strategy-first change shaping, compact planning, scope guarding, and test-quality guidance.
Founder Profile + Concept/Build/Launch/Operate skills + dev subagents. Reads the active venture context and executes to finished.
Gates, adversarial review, delivery discipline and security checks from the AI Founder Operating System. Claude Code adapter β the framework itself is tool-agnostic (see kit/).
Foundry documentation platform β skills and commands for working with Foundry's MCP toolset.
An opinionated, disciplined, quality-first software production system. A conveyor that carries value from IDEA to PRODUCTION across role-tuned agents and value-stations (IDEA βΆ ROADMAP βΆ PLAN βΆ EARS βΆ FEATURE βΆ TEST βΆ IMPLEMENT βΆ STORY βΆ SHIP), governed by three pillars β knowledge parity, quality-first with a performance-delta gate, and waste elimination (mudaΒ·muraΒ·muri) β under an overarching token-efficiency constraint. Emits markdown; uses the security and publish companions automatically when present.