pull down to refresh

MCP tools with dependent typesvlaaad.github.io/mcp-tools-with-dependent-types
121 sats \ 0 comments \ @carter 19 Aug AI
related
LLoms - A simple mcp enabled llm cli chatgithub.com/gzuuus/lloms
155 sats \ 0 comments \ @gzuuus_ 16 Mar nostr
Ada's Dependent Types, and Its Types as a Wholenytpu.com/gemlog/2024-12-27
41 sats \ 0 comments \ @hn 28 Dec 2024 tech
Introducing the MCP Registryblog.modelcontextprotocol.io/posts/2025-09-08-mcp-registry-preview/
131 sats \ 1 comment \ @carter 9 Sep AI
The guide to MCP I never hadlevelup.gitconnected.com/the-guide-to-mcp-i-never-had-f79091cf99f8
31 sats \ 0 comments \ @Car 5 May AI
MCP: An (Accidentally) Universal Plugin Systemworksonmymachine.substack.com/p/mcp-an-accidentally-universal-plugin
111 sats \ 0 comments \ @hn 30 Jun tech
Mcbroken: a Programming Experimentx.com/rashiq/status/1319346264992026624
50 sats \ 2 comments \ @deSign_r 31 Aug Design
Looking for flexible system design tools
21 sats \ 1 comment \ @jakeguy 16 Aug 2022 bitcoin
Commodities, generics, and softwareworld.hey.com/jason/commodities-generics-and-software-393ccf10
449 sats \ 0 comments \ @brandonsbytes 16 Nov 2023 meta
Torque — lightweight meta-assemblerbenbridle.com/projects/torque.html
33 sats \ 0 comments \ @_Bubble_2009 16 Apr tech
Introducing x402-mcp: Open protocol payments for MCP tools - Vercelvercel.com/blog/introducing-x402-mcp-open-protocol-payments-for-mcp-tools
218 sats \ 0 comments \ @Scoresby 12 Sep tech
Payjoin-FFI: Libraries for various programming languagesgithub.com/LtbLightning/payjoin-ffi
21 sats \ 0 comments \ @Rsync25 1 Aug 2023 bitcoin
Pkl, a Programming Language for Configurationpkl-lang.org/blog/introducing-pkl.html
55 sats \ 2 comments \ @hn 3 Feb 2024 tech
Tach: a Python tool to enforce dependencies, written in Rustgithub.com/gauge-sh/tach
10 sats \ 0 comments \ @Rsync25 28 Aug 2024 tech
Anytype — the everything app (alternative for Notion)anytype.io
1992 sats \ 18 comments \ @sebastix 22 Oct 2023 tech
ContextVM - The intersection of Nostr and MCP
100 sats \ 0 comments \ @gzuuus_ 21 Jul AI
Modular Construction Interface Standard Aims to Establish Clear Guidelineswww.enr.com/articles/60573-modular-construction-interface-standard-aims-to-establish-clear-guidelines
50 sats \ 1 comment \ @BlokchainB 28 Apr Construction_and_Engineering
Fp-go: Functional Programming Library for Golanggithub.com/IBM/fp-go
24 sats \ 1 comment \ @hn 18 Aug 2023 tech
pylint MCP provider
1428 sats \ 6 comments \ @optimism 4 Jun builders
⚡️ Introduction to Ln-spec toolsmedium.com/@chanmickyyun1/how-to-start-to-contribute-to-ln-spec-tools-5f060660d0a
111 sats \ 0 comments \ @BTC_LN 23 Aug 2022 bitcoin
Vision agent: library that helps you utilize agent frameworks to generate codegithub.com/landing-ai/vision-agent
10 sats \ 0 comments \ @Rsync25 24 Nov 2024 tech
Peritas: A Vision for Accessible Multi-sig
442 sats \ 2 comments \ @pup 26 Oct 2024 bitcoin