Chiasmus is an MCP server that gives language models access to formal verification
☆218Oct 18, 2026Updated 2 weeks ago
Alternatives and similar repositories for chiasmus
Users that are interested in chiasmus are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Babashka CLI and Claude Code skill for structural Clojure refactoring — move forms, fix declares, rename namespaces, explore via AST.☆38Sep 24, 2026Updated last month
- a DSL that blocks AI mistakes via proof☆16Updated this week
- Mycelium uses Maestro state machines and Malli contracts to define "The Law of the Graph," providing a high-integrity environment where h…☆98Oct 23, 2026Updated 2 weeks ago
- Dynamic Intent Resolution Grounding Engine☆379Updated this week
- Static purity and effect analysis for Clojure.☆19Oct 24, 2026Updated 2 weeks ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- LLM-friendly cross-reference database for Clojure code. Query who-calls, calls-who, who-implements, ns-deps to feed precise depen…☆25Apr 20, 2026Updated 6 months ago
- [Discontinued] Zig as a Clojure library.☆14Sep 15, 2026Updated last month
- Modex is a Clojure MCP Library to augment your AI models with Tools, Resources & Prompts using Clojure (Model Context Protocol). Implemen…☆121Apr 5, 2025Updated last year
- Fast, portable CBOR serialization for Clojure and ClojureScript — in a format the rest of the world already reads (RFC 8949 / IETF STD 94…☆20Sep 6, 2026Updated 2 months ago
- Dependently typed Clojure DSL with a Lean4 compatible kernel.☆83Updated this week
- Wavelet-based multi-resolution context management for LLMs via MCP☆45Sep 2, 2026Updated 2 months ago
- [Discontinued] Knowledge graph for your codebase.☆16Sep 15, 2026Updated last month
- A project to improve experience of using Clojure stdlib☆236Oct 11, 2026Updated 3 weeks ago
- A lab and production line for building accountable agentic software features in Clojure☆35Updated 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.
- Carefree SL4J/Logback logging in boot projects☆10Sep 7, 2016Updated 10 years ago
- Datalog based rules engine☆47Mar 13, 2022Updated 4 years ago
- An OpenAI-compatible bridge that anchors LLM reasoning in logical reality by using Z3 to incrementally verify, self-correct, and prove th…☆15Oct 15, 2026Updated 3 weeks ago
- Clojure MCP☆784Oct 3, 2026Updated last month
- An AI prompting framework☆127Jul 21, 2026Updated 3 months ago
- An AI Pair Programmer, that teaches you to code as you write, for Emacs☆26Jun 20, 2026Updated 4 months ago
- Malli-Typed interfaces for Clojure☆36Aug 24, 2026Updated 2 months ago
- Data-driven action dispatch for Clojure(Script): Build systems that are easier to test, observe, and extend☆126Aug 28, 2026Updated 2 months ago
- form building platform☆24Jun 17, 2026Updated 4 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Ergonomic dependency injection via logic programming☆62Mar 3, 2024Updated 2 years ago
- A Clojure TUI (Terminal User Interface) library inspired by Bubble Tea☆123Oct 28, 2026Updated last week
- BOM reading/writing for Clojure☆20Dec 19, 2017Updated 8 years ago
- See the shape of your data: point-and-click Clojure(Script) data browser☆136Updated this week
- FSM library for managing workflows☆117Oct 23, 2026Updated 2 weeks ago
- An extremely lightweight fault tolerance library for Clojure(Script) and Babashka☆203Sep 8, 2025Updated last year
- A customizable better "prn" for debugging☆15Jan 6, 2020Updated 6 years ago
- MCP server for token-efficient large document analysis via the use of REPL state☆149May 17, 2026Updated 5 months ago
- Functional (and opinionated) errors handling in Clojure☆251Jun 29, 2026Updated 4 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 Modern, High-performance, Low-alloc Binary Serialization Library for Clojure with 0 dependencies☆28Aug 3, 2026Updated 3 months ago
- A functional effect and streaming system for Clojure/Script☆800Updated this week
- A very light weight, simple websocket based messaging system in Clojure(Script). Converse/talk 話す(hanasu).☆26Jul 2, 2025Updated last year
- A development-time library for Fulcro that helps to detect problems earlier and find and fix their root cause faster☆16Jan 26, 2024Updated 2 years ago
- Take program design oddities in stride with Clojure/ClojureScript☆108Jan 21, 2021Updated 5 years ago
- A fast and small XML processor for Clojure. With XML namespace support and secure defaults.☆43Jun 7, 2021Updated 5 years ago
- A high-performance disk-backed queue for Clojure☆29Apr 13, 2026Updated 6 months ago