Search results for "zig"
Zig code intelligence server and MCP toolset for AI agents. Fast tree, outline, symbol, search, read, edit, deps, snapshot, and remote GitHub repo queries.
Curated directory of terminal-native AI coding agents and the harnesses that orchestrate them. Covers open-source tools (Pi, OpenCode, Aider, Goose), platform agents (Claude Code, Codex, Gemini CLI),
🛠️ Build efficient Zig-based tools with MCP.zig, focusing on modularity and performance for streamlined software development.
Persistent, deterministic, and user-managed project memory for vibe coding.
🚀 Build LLM-powered workflows with PocketFlow-Zig, a lightweight framework leveraging Zig's features for efficient, type-safe programming.
Add formal type safety (10 levels, dependent/linear/session types) to any query language — SQL, GraphQL, Cypher, SPARQL, VQL
Wrap concurrent code in Pony reference capabilities for data-race freedom
Make operations reversible and auditable via Oblíbený
Add provably safe ethical constraints to AI agents via Phronesis
Add consent patterns and accessibility to existing code via WokeLang
Generate OTP supervision trees and fault-tolerance scaffolding
Extract state machines from code and model-check with TLA+/PlusCal