Spice

The vision: humans on architecture, agents on implementation

In the coding agent era, humans should focus on what matters: product vision, system architecture, user experience. AI agents should handle implementation details—but only if they can do it without introducing bugs.

Today's reality is different. As AI writes exponentially more code, it creates exponentially more bugs. Developers spend their time debugging agent output instead of building. Testing and reviews become bottlenecks: linear solutions to exponential problems.

OCaml changes this equation. Its type system eliminates entire bug categories: no type errors, no memory issues or sefaults

Leveraging projects like OxCaml, QCheck for property-based testing, and F*/Rocq, we also eliminate race conditions, and agents generate provably correct code.

This isn't incremental improvement—it's a foundation shift that allows software development to scale in the AI era. We build the foundations for the future of software development: hundreds of agents collaborating on million-line codebases correctly while you focus on what to build, not how to fix it.

Language-specific agents are 10x more productive

General-purpose coding assistants waste cycles on language quirks and tooling confusion. Spice deeply understands OCaml's language and ecosystem. With native tooling integration, it knows your project structure, fetches documentation on-demand, manages dependencies, and gets real-time diagnostics as it generates code.

Beyond tooling, we'll explore every advantage language specialization offers: OCaml-trained models, AST-based code generation, type-guided synthesis.

We will make Spice the most productive coding agent by a significant margin.

Developer tools should be free

Compilers, editors, linters—the best developer tools have always been free. But as coding agents widden the productivity gap, we're heading toward a future where you need $200/month subscriptions to stay competitive. That's not a future we want to live in.

Spice is free and always will be. Use any LLM provider: Claude, GPT, Gemini, or local models. No vendor lock-in. No monthly fees. Just like your compiler, Spice belongs in every developer's toolkit, accessible to all.

The future we're building

A world where developers focus on what matters: product vision, system architecture, user experience. Where AI agents handle implementation details without introducing bugs.

Where you describe what you want to build, and it gets built correctly. Where codebases evolve for years without technical debt. Where human creativity is amplified, not bogged down by debugging.

This future requires a foundation that prevents bugs by design. It starts with OCaml and Spice.