Lumen Loop
All projects
S
Developer ToolingSCF Funded

Soroban SDK Tools

Rust crate extending the Soroban SDK with additional developer utilities for testing, debugging, and building smart contracts.

Launch app↗
Connect
Latest news
Oct 31
SCF #39 Round Recap
{ }@blaineheffron6 repositories
View all on GitHub →

Last 6 months · Weekly commits

foia-search-mcp
nodus-mcp
zotero-mcp
scientific-claim-provenance
symbolic-math-mcp
</>foia-search-mcp
★ 0⑂ 0Rust
</>nodus-mcp
★ 0⑂ 0TypeScript
</>zotero-mcp
★ 0⑂ 0TypeScript
</>scientific-claim-provenance

Trace evidence, assumptions, calibrations, and unresolved frontiers beneath scientific claims.

★ 0⑂ 0CSS
</>symbolic-math-mcp

MCP server for symbolic mathematics and tensor algebra. SymPy-powered CAS with Christoffel symbols, Riemann/…

★ 0⑂ 0C++
</>paper-search-mcp

MCP server for searching, indexing, and retrieving scientific papers across arXiv, INSPIRE-HEP, Semantic Sch…

★ 0⑂ 0Rust
Similar projects
By category & tags
L
LOAMDeveloper Tooling
SCF
SDKDevXAutomation

Loam is a comprehensive platform that streamlines the development, deployment, and maintenance of ambitious smart contracts and …

View →
S
Stellar-NestDeveloper Tooling
SCF
SDKDevXNodes

Easy way to kickstart a project in Stellar with Nest.

View →
W
WalletbanDeveloper Tooling
SCF
SDKDevXWallet Infra

Walletless onboarding SDK for Stellar developers, with SAC deployment and REST-based chain interaction.

View →
L
LatchDeveloper Tooling
SCF
SDKDevXWallet Infra

Latch provides open-source C-address onboarding infrastructure for Stellar, enabling users to create and fund Soroban Smart Acco…

View →
S
Soroban CopilotDeveloper Tooling
RustDevXLibrary

Collection of no_std Rust packages focused on making Soroban development easier.

View →
S
SAWDeveloper Tooling
SCF
SDKRustFormal Verification

A semi-automated tool for Formal Verification of Soroban contracts using the Software Analysis Workbench (SAW).

View →