Topological Fixed-Point Theory: a machine-checked discrete compiler for the Standard Model, α⁻¹, and cosmology from two axioms. Papers, verification suite (Python/Wolfram/Lean), experiments & website.
☆502Aug 22, 2026Updated this week
Alternatives and similar repositories for tfpt
Users that are interested in tfpt are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Attributed, resolvable artifact references for agent handoffs — a ~30-byte token instead of pasted context. MCP-native; the reference lay…☆698Jul 20, 2026Updated last month
- GPU worker client for the Talos network. Pairs with your Talos account, serves open-model inference jobs over a WebSocket, and reports up…☆742Jul 8, 2026Updated last month
- Agent OS: keep specialist agents in a hub, spin up a temporary orchestrator per task. Local-first, works with any model.☆1,108Updated this week
- Prompt-as-Code for Enterprise AI. Standardize, audit, and deploy instructions across any AI coding assistant.☆415Updated this week
- Build LangGraph agents like Next.js apps.☆375Updated this week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- CLI agent-readiness measurement, command-shape inference, and CI scorecards☆510Aug 2, 2026Updated 3 weeks ago
- Battle-tested boilerplate that helped me launch multiple web & mobile apps — now open source. Real-time Convex backend, Clerk SSO, Stripe…☆384Jul 10, 2026Updated last month
- SkillSpec makes agent skills followable, testable, and provable with Doctor risk reports, guided imports, structured contracts, and align…☆765Aug 9, 2026Updated 2 weeks ago
- Open-source app builder engine — intent to working app☆364Aug 12, 2026Updated last week
- Circuit Framework — multi-agent LLM trading research system☆318Jul 16, 2026Updated last month
- IndexedDb ORM, based built dexie☆494Mar 3, 2026Updated 5 months ago
- AI-powered weather intelligence for agricultural commodity futures. Predicts price moves 48-72 hours early across OJ, Coffee, Cocoa, Suga…☆710May 26, 2026Updated 3 months ago
- A production-grade OSINT platform that provides situational awareness across multiple intelligence domains.☆740Jun 13, 2026Updated 2 months ago
- ☆304Updated this week
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- A set of communication oriented environments☆441Aug 19, 2026Updated last week
- The black box for AI-written code. Passive decision graph linking every commit to the agent prompts behind it: drift detection, DLP audit…☆350Jul 19, 2026Updated last month
- Universal, model-agnostic operating harness for AI agents (Claude, Codex, Gemini, …) — a lean core + work-type profiles assembled by one …☆203Updated this week
- A swarm of disposable agents for unattributable web interaction☆494Jul 16, 2026Updated last month
- Autonomous AI research swarm — runs ~100 overnight LLM training experiments unattended. Fork of karpathy/autoresearch with Digital Cognit…☆298Jun 30, 2026Updated last month
- A Mac vault that runs authenticated actions for AI agents over MCP. The agent gets the operation, never the key: no command reveals a sto…☆217Jul 19, 2026Updated last month
- Fedora-focused KDE Discover fork with COPR integration and practical Fedora enhancements.☆555Jun 28, 2026Updated last month
- A powerful AI library that bridges Large Language Models (LLMs) with video processing frameworks like YOLO, enabling seamless integratio…☆461Jan 5, 2026Updated 7 months ago
- Local-first AI coding agent for VS Code & Cursor. Ollama, LM Studio & your inference fleet. Cursor-grade agent UX — offline, private, zer…☆150Jul 7, 2026Updated last month
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A reference operating model for organizations where any role can be filled by a human or an agent, every process is built for agents firs…☆190Jul 7, 2026Updated last month
- GTM agent for technical founders. Pay-per-result. Signed receipts. Two surfaces: terminal CLI + local web dashboard.☆313Updated this week
- Self-improving, AI-native markdown vault you hand to an AI agent. GitHub-style file tree + Notion editing, exposed to Claude/Cursor via a…☆196Aug 18, 2026Updated last week
- Draw a store, generate LLM personas, and watch them shop — an isometric 3D sandbox for synthetic-consumer experiments.☆476May 21, 2026Updated 3 months ago
- Turn any MCP server, OpenAPI spec, or GraphQL endpoint into a CLI at runtime.☆630Jun 3, 2026Updated 2 months ago
- Machine Genome is an open identity and provenance protocol for models, agents, harnesses, datasets, and the artifacts that connect them.☆178Updated this week
- EasyLastSkill ist eine deutschsprachige Codex-/Agent-Skill fuer schnelle Recherchen zu den letzten Tagen eines Themas. Standardmaessig be…☆153Jul 8, 2026Updated last month
- A universal, industry-neutral taxonomy of cognitive core skills (perception, memory, reasoning, planning, action, verification, learning,…☆178Jul 5, 2026Updated last month
- Provider-pluggable orchestration runtime for multi-model AI inference. ( Sakana Fugu style )☆197Jul 16, 2026Updated last month
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Deploy intelligence. Open-source infrastructure for AI agents in production.☆183Aug 5, 2026Updated 3 weeks ago
- Agent Execution Partnership AEE is an open-source control plane that ensures every AI agent action is authorized before it runs, observab…☆183Jul 22, 2026Updated last month
- MCP server for the Live Tennis API — give Claude, Cursor and other LLM agents real-time tennis scores, odds and model win-probability☆191Updated this week
- CLI, SDK, and IDE plugins for Duel Agents☆796Jun 29, 2026Updated last month
- Independent Auditing of AI Agents. Run by human or the agent itself, to answer the most crucial question in the AI Agent Economy. Is the …☆11,178Updated this week
- Open-source observability dashboard for OpenClaw daemons — cost analyti cs, live monitor ing, and de bugging tools, all running on your o…☆395Apr 15, 2026Updated 4 months ago
- Forge is the open-source runtime for Anthropic's Agent Skills standard — built for the agent that runs next to a service, in your environ…☆184Updated this week