Helps you deny the existence of specified truthy values (e.g. 'someString', aParticularObject)
JavaScript reference implementation of PRML (Pre-Registered ML Manifest) v0.1 — open spec for committing ML evaluation claims to a SHA-256 hash before the run. CC BY 4.0 spec; MIT code; byte-equivalent to the Python reference across 21 conformance vectors
MCP server for structured iterative reasoning with 13 critical thinking lenses — a disciplined thinking scaffold for AI agents. Features structured reasoning state, cognitive moves (branch/revise/supersede/falsify/verify/retract/stop), Escalation Ladder,
A libp2p module that uses pubsub for mdns like peer discovery
Pantheon SDD Agent System — fully autonomous multi-agent pipeline with tool boundary enforcement, file-based handoff, and 13 Roman/Greek deities
Multi-lens code review extension for pi — configurable review criteria per project
Glass Box Framework MCP server — runtime constitutional verification for AI answers, with claim-level reasoning chains, formal ECS scoring, 7-angle red team (Glassbox Court), and deterministic audit logs.
MCP server that stress-tests your decisions with adversarial AI debate. GPT vs Gemini, Skeptic vs Steelman, grounded in web search.
A libp2p module that uses pubsub for mdns like peer discovery
JavaScript utility functions
Extract bank transactions and convert amounts between currencies
Helps you confirm the existence of specified falsy values (e.g. 0)
property-based testing framework for Rust
Model Context Protocol (MCP) server for aprender — exposes apr CLI as MCP tools
Next-generation ML framework in pure Rust — `cargo install aprender` for the `apr` CLI
Sovereign AI orchestration: autonomous agents, ML serving, code analysis, and transpilation pipelines
Constant-time-designed pure-Rust SM2/SM3/SM4 primitives (no_std + alloc) with an in-CI dudect timing-leak regression harness
SIMD backends for gmcrypto-core — AVX2 (x86_64) and NEON (aarch64) packed bitsliced SM4 S-box, quarantined to keep `gmcrypto-core` `unsafe_code = forbid`
A simple induction and BMC engine
A simple induction and BMC engine
Rust-native Infrastructure as Code — bare-metal first, BLAKE3 state, provenance tracing
A minimal axiomatic system for distributed computation
Proves sentences of propositional calculus
CLI tool for APR model inspection, debugging, and operations
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.