AISP (AI Symbolic Programming) v5.1 AI first, spec driven development. A proof-carrying protocol LLMs understand natively without instructions or training. Reduces AI decision points from 40-65% to <2%. Made for AI and agents. Works directly with Claude, OpenAI, Gemini, Cursor, Claude Code. The assembly language for AI cognition.
☆175Jun 9, 2026Updated 4 months ago
Alternatives and similar repositories for aisp-open-core
Users that are interested in aisp-open-core are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Run AI models on Apple Silicon and Raspberry Pi☆46Updated this week
- Deterministic, local-only audit reports for Claude Code AI agent sessions. Rust + SQLite. Zero network calls. MCP server for agents.☆24Aug 27, 2026Updated 2 months ago
- Real-time human pose detection and motion tracking system using TensorFlow.js☆18Updated this week
- a formally verified agentic system for capability-bounded autonomous reasoning☆15Oct 9, 2026Updated 3 weeks ago
- test results from Bradley's savant ai compared to base model and existing SOTA agents☆14Nov 21, 2025Updated 11 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Machine Dream - Continuous machine cognition research platform with GRASP loop, dreaming consolidation, and persistent memory. Pure LLM S…☆22Jan 24, 2026Updated 9 months ago
- Voice rubber-duck debugging assistant: a FastAPI backend bridges the browser (WebRTC) to the OpenAI Realtime API, with server-side tools …☆55Oct 23, 2026Updated last week
- Detachable file viewer and git aware file tree.☆28Nov 6, 2025Updated 11 months ago
- Interactive claude-flow v3 orchestration coach skill - guides topology selection, agent deployment, memory config & intelligence layers. …☆23Feb 3, 2026Updated 9 months ago
- Opinionated DevPod workspace configs for agentic engineering — Claude Code, shared secrets, VS Code extensions, ready on first launch.☆62Sep 2, 2026Updated 2 months ago
- Autonomous agents proving theorems in Lean 4 - SETI@Home but for maths proofs using LLMs. Git is the queue, the kernel is the gate, no so…☆44Oct 7, 2026Updated 3 weeks ago
- Visual planning and context control for shipping big apps with AI coding. Build from scratch or map existing repos. Dossier maps user wor…☆88Jul 15, 2026Updated 3 months ago
- Gold-standard course design templates for AI-first education by Bradley.Academy. For course designers, instructional developers, and AI a…☆20Dec 4, 2025Updated 10 months ago
- Every night, millions spend up to 45 minutes deciding what to watch — billions of hours lost every day. Not from lack of content, but fro…☆26Dec 8, 2025Updated 10 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Simple repo containing claude skills I have created. Drop these into your .claude/skills directory.☆18Sep 25, 2026Updated last month
- Consistent dev environments anywhere. Define once in YAML, deploy to Docker, Fly.io, or DevPod. Pre-built extensions for AI, languages & …☆16Updated this week
- Coaching-first Claude skill for designing gatherings, meetups, hackathons, workshops, and communities☆13Aug 5, 2026Updated 2 months ago
- Enhanced Architecture Decision Record format using the WH(Y) method — structured templates, dependency tracking, and governance metadata …☆26Feb 24, 2026Updated 8 months ago
- The kernel layer for production AI agents☆15Nov 22, 2025Updated 11 months ago
- ☆40Apr 14, 2026Updated 6 months ago
- RuvNet Brain — a downloadable, source-grounded brain for Claude Code over Reuven Cohen's (rUv's) RuvNet stack: RuVector/RVF, Ruflo, Agent…☆80Updated this week
- One command to install, heal & prove ruflo (claude-flow) + agentic-qe + RuvNet Brain — plus ambidextrous Claude/Codex/OpenCode host routi…☆61Updated this week
- Technology recommender for RuVector — 200+ AI/ML capabilities, 16 domains, 5 industry verticals. Matches problems to solutions via intent…☆25Jul 20, 2026Updated 3 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- High-level details of the current development pipeline I'm using (this repo now deprecated)☆44Sep 16, 2026Updated last month
- A hybrid programming language combining Lean4's formal verification with blazing-fast compilation, actor-based agent orchestration, AI-dr…☆60Oct 25, 2025Updated last year
- Pixel-native visual RAG ported to Rust on the ruvector ANN substrate (HNSW + IVF-Flat) — screenshot/document retrieval over visual embedd…☆46Jun 26, 2026Updated 4 months ago
- Headless agent orchestrator with deterministic state machine — processes a bead queue, dispatches to any LLM CLI, handles every outcome. …☆33Updated this week
- Browser-based GA car racer with a cross-track vector-memory bridge (ruvector WASM). No build step.☆17Oct 2, 2026Updated last month
- Lightweight TUI dashboard for Claude Code token usage, agent sessions, and system resources. Go.☆16Oct 26, 2026Updated last week
- Part of Cognitum platform (see cognitum-one/cognitum meta-repo)☆22Oct 26, 2026Updated last week
- The rules layer for AI-written code — rig-lite: a fail-closed cross-model review gate, a written constitution, git-versioned memory. Any …☆184Updated this week
- ☆20Apr 9, 2026Updated 6 months ago
- 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 blazing-fast, memory-safe neural network library for Rust that brings the power of FANN to the modern world.☆386Aug 9, 2026Updated 2 months ago
- AI-powered developer onboarding platform using natural language to deploy applications via GitOps. Golden path workflows with ArgoCD and …☆12Oct 7, 2026Updated 3 weeks ago
- Jack C. Louis's Unicornscan.☆31Mar 27, 2026Updated 7 months ago
- Evolution of the SPARC methodology☆20Sep 12, 2025Updated last year
- ☆55Aug 16, 2025Updated last year
- Rust + WASM sublinear-time solver for asymmetric diagonally dominant systems. Exposes Neumann series, push, and hybrid random-walk algori…☆90Oct 10, 2026Updated 3 weeks ago
- khive is a system of records and operations for agent-native organizations☆33Updated this week