Multi-agent coding orchestrator with quorum consensus and formal verification (TLA+, Alloy, PRISM) for Claude Code, OpenCode, and Gemini CLI. Fewer hallucinations, fewer blind spots, mathematically proven protocols.
☆34Aug 18, 2026Updated 2 months ago
Alternatives and similar repositories for nForma
Users that are interested in nForma are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Cryptographically verifiable audit infrastructure for AI agents. AgentOps Replay produces tamper-evident, hash-chained event logs that pr…☆16May 28, 2026Updated 5 months ago
- ☆22Apr 29, 2026Updated 6 months ago
- ☆12Oct 7, 2026Updated 3 weeks ago
- MCP server for interactive terminal sessions — local shells, SSH, serial ports, and persistent remote sessions☆20Oct 22, 2026Updated last week
- ☆13Updated this week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A collection of mainly my own productivity plugins for Claude Code.☆12Updated this week
- My Claude Code slash commands☆14Oct 21, 2026Updated last week
- Implemental for the paper "Large Language Model Critics for Execution-Free Evaluation of Code Changes"☆11Jan 29, 2025Updated last year
- local collaboration layer for AI coding agents☆16Updated this week
- Tame your AI coding agents with natural language. Generate enforced guardrails (CLAUDE.md, hooks, settings) from a single command.☆17Oct 10, 2026Updated 2 weeks ago
- Zaxy turns agent work into durable, auditable memory: a hash-chained Eventloom log as the source of truth, an embedded temporal knowledge…☆17Aug 10, 2026Updated 2 months ago
- Like Lighthouse for your agent harness - verify your CLAUDE.md/AGENTS.md, skills & hooks are real, then test and measure they actually wo…☆15Updated this week
- A human-like memory for AI Agent☆19Jun 24, 2026Updated 4 months ago
- Persistent memory for pi-agents, powered by claude-mem (55k+ stars). Cross-session, cross-engine memory with hybrid search.☆19Apr 17, 2026Updated 6 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- 👀 Local-first analytics and statusline for Claude Code - capture sessions, tool calls, costs, and performance into SQLite for fast, acti…☆11Oct 13, 2026Updated 2 weeks ago
- Skills for Real Engineers. Straight from my .claude directory.☆19Oct 4, 2026Updated 3 weeks ago
- A police department for your Claude Code agents — a logging-only hook + CLI that audits the main agent and every subagent and reports rul…☆23Jun 11, 2026Updated 4 months ago
- A powerful GUI app and Toolkit for Claude Code - Create custom agents, manage interactive Claude Code sessions, run secure background age…☆14Oct 5, 2026Updated 3 weeks ago
- Discord Rich Presence (RPC) for Claude Code — live model, project, tokens, and lifetime stats in your Discord profile. Driven by Claude C…☆28Oct 23, 2026Updated last week
- A framework for self-improving LLM systems through evolving context playbooks. Claude learns from success and failure, building project…☆14Jan 3, 2026Updated 9 months ago
- Self-improving skills for AI coding agents. Closed-loop system: Observe → Inspect → Amend → Evaluate. Works with Claude Code hooks and sl…☆14Sep 13, 2026Updated last month
- ☆12Apr 29, 2025Updated last year
- Enable AI-driven automated Android dynamic analysis by controlling Frida through the Model Context Protocol for streamlined reverse engin…☆19Oct 14, 2026Updated 2 weeks ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Open-source orchestration for zero-human companies☆18Apr 27, 2026Updated 6 months ago
- 생성형 AI 을 맞춘 형태의 Intelligent Document Parser☆17Updated this week
- Self-hosted remote UI for Claude Code that journals every turn - background AI summaries become shadow-git commits and a queryable DuckDB…☆24Updated this week
- Lightweight coding agent that runs in your terminal - Termux focused fork☆22Updated this week
- A fast, native browser automation CLI built from the ground up for AI agents, powered by Chrome DevTools Protocol. 63 commands covering n…☆55Sep 22, 2026Updated last month
- A free (open source) log monitor / log viewer for a multitude of data sources.☆16May 24, 2024Updated 2 years ago
- Receivers for DIY Land Based GPS☆14Jun 27, 2026Updated 4 months ago
- A Discord bot that automatically logs messages from a specified channel to a JSON file. Easily configurable and customizable for your ser…☆10Oct 27, 2023Updated 3 years ago
- MCP Server for Development Tooling - Project Detection, Process Management, and Reverse Proxy with Frontend Instrumentation☆22Updated this week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- OpenRouter TypeScript harness for reproducible LLM benchmarks and evaluations.☆24Updated this week
- AI 智能体长期记忆系统 · 中文优化版☆32Updated this week
- Short-Term Plasticity in a Liquid State Machine Biomimetic Robot Arm Controller☆10Jul 25, 2017Updated 9 years ago
- SaaS template for Claude Code agents — SvelteKit + Postgres + Drizzle skeleton with auth, multi-tenancy, and production deploy. Bundles t…☆32Oct 7, 2026Updated 3 weeks ago
- A collection of skills for AI coding agents. Skills are packaged instructions and scripts that extend agent capabilities.☆25Oct 19, 2026Updated last week
- Serialize dict of integers to bytes and read with near zero parsing. Specialization for int to int.☆10Jun 26, 2026Updated 4 months ago
- Audit AI agent tool-call transcripts: hash-chain sealing, deterministic replay, and scope overreach checks. Dependency-free Python CLI.☆53Sep 14, 2026Updated last month