Shofer logo

Shofer

Shofer (June 2026) is an open-source (Apache 2.0) AI coding agent for VS Code that makes multi-agent workflows declarative, observable, and provable. Instead of imperative sub-agent spawning, you define pipelines in a .slang DSL — agents, message routing, control flow, convergence conditions, and budgets — and a non-LLM executor runs them deterministically. The VS Code extension renders live topology, sequence, and swimlane diagrams with per-agent stats and filterable logs. Shofer includes incremental semantic indexing over code and full git history (git_search finds why/when changes were made), a persistent read-only Assistant Agent that accumulates codebase knowledge across sessions, kernel-level Landlock/bwrap sandboxing confined to git worktrees, hard per-session USD cost caps, native worktree UI, and six built-in modes (Code, Architect, Debug, Code Search, Web Search, Reviewer) with custom mode support. One-command migrations exist for Copilot, Claude Code, and OpenCode.

Reader rating

No ratings yet

Visit website

You might also like

Related tools

View all
codemap favicon
codemap
No ratings yet

codemap is an MIT-licensed project brain for AI coding tools that gives LLMs instant architectural context from your codebase without burning tokens. It generates a fast tree/context view, dependency flow, dependency blast-radius analysis, and a layered handoff format for cross-agent continuation, then exposes everything through a JSON context bundle and an MCP server compatible with Claude Code and Codex. A built-in Codex plugin and community skill registry make it easy to install and share. Developers use codemap to onboard agents to large repos in seconds, keep session continuity across handoffs, and scope the impact of a change before running it.

Type.com favicon
Type.com
No ratings yet

Type.com is a multiplayer AI workspace where teams collaborate with Claude, Codex and other models in a shared company context. It brings conversations, files, skills, integrations and automations into collaborative Spaces instead of leaving useful work trapped in individual chat windows. Marketing, sales, support and operations teams can tag Type from Slack or email, share access through role-based permissions, and build custom dashboards or internal apps grounded in company knowledge. Type also supports OAuth, MCP and API connections, with granular controls for users and spaces. It is notable now because its Product Hunt launch presents a practical answer to the coordination problem emerging as teams adopt multiple coding and general-purpose agents. The official site confirms a shipped cloud workspace with desktop and mobile access, not merely an agent concept.

Ollama favicon
Ollama
No ratings yet

Ollama is a local AI platform for running, managing, and sharing open models on your own machine or private infrastructure. It makes it easy to pull models, serve them through an API, and integrate local inference into developer workflows without relying on a fully managed cloud stack. Teams use Ollama for privacy-sensitive assistants, internal tools, offline experimentation, and rapid testing of open-weight models across laptops, workstations, and servers. It is especially useful for developers, operators, and AI builders who want quick setup with less operational overhead. What makes Ollama distinctive is how approachable it is: it packages model runtime, distribution, and deployment into a streamlined experience that helps people get productive with local AI in minutes instead of spending days on configuration.

From the blog

Related articles

View all
Branded cover explaining that model provenance identifies who answered but does not fact-check the response.
November 4, 2026 · 4 min read

Anthropic’s FlashProve Can Verify a Model’s Identity. That Isn’t a Fact Check.

Anthropic’s FlashProve aims to verify which model produced an answer. That is useful provenance,not proof the answer is true…

Branded cover reading “When AI Runs Out of Time,” with a real-time latency theme for AI agents.
November 3, 2026 · 5 min read

Real-Time AI Agents Need More Than a Smart Answer

Interactive AI agents face a different test when the clock keeps moving. Here’s why latency belongs in every real-world evaluation…

Branded cover explaining how the GDPx AI benchmark score depends on its task portfolio.
November 2, 2026 · 5 min read

A Benchmark Score Is a Task Portfolio in Disguise

GDPx’s 12% headline is not a grade for AI as a whole. Here is how to read a benchmark by the tasks behind its score…