yogthos/chiasmus

Chiasmus is an MCP server that gives language models access to formal verification

GitHub repository with 191 stars and 11 forks.

Language: TypeScript

Topics: formalmethods, llm, mcp, prolog, z3-smt-solver, ai-agents, ai-assistant, ai-tools, mcp-server

Open provider repository

Latest metric snapshot

2026-06-13: 191 stars and 11 forks.

Trending in TypeScript

  1. 1. iptv-org/iptv

    Collection of publicly available IPTV channels from all over the world

    GitHub repository with 122,454 stars and 6,570 forks.

    Trending score: 6.11; stars gained: +2,935; forks gained: +171.

    Language: TypeScript

  2. 2. colbymchenry/codegraph

    Pre-indexed code knowledge graph, auto syncs on code changes, for Claude Code, Codex, Gemini, Cursor, OpenCode, AntiGravity, Kiro, and Hermes Agent — fewer tokens, fewer tool calls, 100% local

    GitHub repository with 49,521 stars and 3,030 forks.

    Trending score: 5.69; stars gained: +779; forks gained: +60.

    Language: TypeScript

  3. 3. nexu-io/open-design

    🎨 Local-first, open-source Claude Design alternative. 🖥️ Native desktop app. ⚡ 259+ Skills · ✨ 142+ Design Systems 🖼️ Web · desktop · mobile prototypes · slides · images · videos · HyperFrames 📦 Sandboxed preview · HTML/PDF/PPTX/MP4 export 🤖 Claude Code / OpenClaw / Codex / Cursor / OpenCode / Qwen / Copilot / Hermes / Kimi & 17+ CLIs.

    GitHub repository with 65,289 stars and 7,308 forks.

    Trending score: 5.65; stars gained: +790; forks gained: +117.

    Language: TypeScript

    Topics: agent-skills, ai-agents, ai-design, byok, claude-code-for-design, claude-design

  4. 4. refactoringhq/tolaria

    Desktop app to manage markdown knowledge bases

    GitHub repository with 16,344 stars and 1,120 forks.

    Trending score: 5.27; stars gained: +469; forks gained: +36.

    Language: TypeScript

  5. 5. heygen-com/hyperframes

    Write HTML. Render video. Built for agents.

    GitHub repository with 27,834 stars and 2,620 forks.

    Trending score: 5.27; stars gained: +516; forks gained: +59.

    Language: TypeScript

    Topics: ai, animation, ffmpeg, framework, gsap, html

  6. 6. firecrawl/firecrawl

    The API to search, scrape, and interact with the web at scale. 🔥

    GitHub repository with 133,013 stars and 7,799 forks.

    Trending score: 5.24; stars gained: +635; forks gained: +11.

    Language: TypeScript

    Topics: ai, ai-agents, ai-crawler, ai-scraping, ai-search, crawler